カントールの対角線論法 (cantors-diagonal-argument) 列挙された要素の対角成分を変えて、列挙に含まれない新しい要素を構成する証明法。ゲオルク・カントールが実数全体の非可算性を示すために用いた。