Det finns olika grader av oändlighet, och den minsta är den som de hela talen har: de bildar en oändlig uppräknelig mängd. Men det finns också mängder som är så stora att de inte kan räknas upp, dvs. numreras med hela tal. Det viktigaste exemplet på en sådan överuppräknelig