digonal mthod [prcess] n. 【数学・論理】 対角線論法《証明の論法の一種; 考察対象を縦横に無限の長さをもつ表に並べて, その対角線上に並ぶ要素を利用して論じる; G. Cantor によって集合で初めて用いられた》.