Ugugug: bahsedelim. Sayılabilir sayıda kümeden bahsetmek demek, o kümelerin hepsine 1, 2, 3, 4, ... gibi sonsuza kadar devam eden (veya bir yerde kesilebilir de) numara verebiliyor olmak demektir. Basit düşünülürse, böyle bir şey her zaman yapılabilir sanılabilir ama hiç de öyle değil, çoğu zaman sonsuz kümeleri saymak mümkün olmayabilir, ama sayılanları da tabii ki vardır. Bunlar konuya açıklık getirmem için yazmam gereken, hızlı önbilgilerdi. Bunları matematik okuyan herkes bilir zaten.