Sonsuzluk kelimesi günlük dilde genellikle tek bir dev gibi davranır: bitmeyen yol, tükenmeyen zaman, saymayı bıraktıran büyüklük. Fakat matematik, bu devi yakasından tutup laboratuvara sokar ve şaşırtıcı bir sonuç bulur: Sonsuzluk tek parça değildir. Bazı sonsuzluklar, başka sonsuzluklardan daha büyüktür. Evet, kulağa masal gibi gelir; ama bu masalın kahramanı peri değil, Georg Cantor adlı inatçı bir matematikçidir.
İşe en tanıdık sonsuzlukla başlayalım: doğal sayılar. 1, 2, 3, 4 diye gider. Asla bitmez. Bu sonsuzluğa sayılabilir sonsuzluk denir ve Cantor bunu alef-sıfır, yani ℵ₀ ile gösterdi. Buradaki fikir şudur: Bir kümenin elemanlarını doğal sayılarla sıraya dizebiliyorsak, o küme sayılabilir sonsuzdur. Örneğin çift sayılar da sonsuzdur: 2, 4, 6, 8… Ama şaşırtıcı biçimde doğal sayılarla aynı büyüklüktedir. Çünkü her doğal sayıya bir çift sayı eşleyebiliriz: 1→2, 2→4, 3→6. Hiç kimse açıkta kalmaz.