對角論證法

對角論證法是喬治 · 康托爾於1891年提出的用於說明實數集合是不可數集的證明 。 對角線法並非康托爾關於實數不可數的第一個證明 ， 而是發表在他第一個證明的三年後 。 他的第一個證明既未用到十進制展開也未用到任何其它數系 。 自從該技巧第一次使用以來 ， 在很大範圍內的證明中都用到了類似的證明構造方法 ， 它們一般亦稱爲對角論證法 。