Sonsuz sayılar konusu matematiğin en şaşırtıcı köşelerinden birinde yer alır. Cevap: evet, bazı sonsuzluklar diğerlerinden daha büyüktür. **Sonsuzluk nasıl ölçülür?** Matematikçi Georg Cantor 19. yüzyılda iki kümenin aynı "büyüklükte" olmasını birebir eşleme (bijeksiyon) kavramıyla tanımladı. İki küme arasında, her elementin karşılıklı tam olarak bir eşleşme sağlandığında, bu iki kümenin kardinalitesi eşit kabul edilir. **Sayılabilir sonsuzluk: aleph-0** Doğal sayılar kümesi {1, 2, 3, ...} sonsuz ama sayılabilir. Tüm çift sayılar da aynı büyüklükte: her doğal sayıya tam bir çift sayı eşlenebilir (1→2, 2→4, 3→6...). Tam sayılar, rasyonel sayılar da sayılabilir sonsuz. Bu sonsuzluk ℵ₀ (aleph-sıfır) ile gösterilir. **Sayılamaz sonsuzluk: süreklilik** Ancak reel sayılar, 0 ile 1 arasındaki tüm ondalık sayılar bile, sayılamaz sonsuz. Cantor'un diyagonalizasyon argümanı bunu kanıtlar: varsayalım bunları listeleyebildiniz. Cantor, her satırdaki köşegen rakamı alıp değiştirerek listenizde olmayan bir sayı üretebileceğinizi gösterdi. Bu, reel sayıların doğal sayılarla eşlenemeyeceği anlamına gelir. Reel sayıların kardinalitesi ℵ₀'dan büyüktür: "c" (continuum) ya da 2^ℵ₀ olarak gösterilir. **Daha büyük sonsuzluklar var mı?** Evet, sonsuz sayıda farklı büyüklükte sonsuzluk vardır. Cantor'un teoremi, herhangi bir kümenin üst kümesinin (power set) daima daha büyük kardinale sahip olduğunu kanıtlar. Bu hiyerarşi sonsuza uzanır: ℵ₀, ℵ₁, ℵ₂... **Süreklilik hipotezi** ℵ₀ ile c arasında başka bir sonsuzluk var mı? Bu, matematiğin ünlü açık sorusu olan süreklilik hipotezidir. Gödel ve Cohen, bu sorunun standart aksiyomlarla ne kanıtlanabileceğini ne de çürütülebileceğini göstermiştir.