Cantor'un köşegen yöntemi
Georg Cantor'un doğal sayılar ile reel sayıların birebir eşlemesinin yapılamayacağını göstermek için geliştirdiği yöntem. Böyle bir eşlemenin yokluğu sonsuz elemanlı kümelerin büyüklüklerinin karşılaştırılması kavramının gelişimi açısından son derece önemlidir. Verilen bir A kümesinin en az B kümesi kadar büyük olması B'den A'ya bir birebir fonksiyonun var olması şeklinde tanımlanır (A\geq B yazılır).