カントールの対角線論法

カントールの対角線論法（カントールのたいかくせんろんぽう）とは、なんらかの図式の対角線（その正確な意味は場合場合で異なるが）の部分を巧みに利用して所望の性質を持つものをつくり出す、以下のような証明方法のことをいう。様々な場面で用いられる強力な手法である。1891年にゲオルグ・カントールによって非可算濃度を持つ集合の存在を示した論文の中で用いられたのが最初だとされている。
Wikipedia.orgをもっと見ると…