Overaftelbaarheid
Van Wikipedia
Intuïtief heet een verzameling overaftelbaar als ze "meer" elementen dan de natuurlijke getallen bevat. Meer precies noemt men overaftelbaar, elke oneindige verzameling die niet in een bijectief verband staat met de verzameling 
der natuurlijke getallen (en dus een hogere cardinaliteit dan heeft).
De verzameling 
der rationale getallen is niet overaftelbaar maar aftelbaar omdat men haar elementen als volgt in een (oneindige) rij kan plaatsen:
0 
...
De diagonaalmethode van Cantor levert een bewijs uit het ongerijmde dat de reële getallen niet allemaal in één rij (zelfs geen oneindige rij) kunnen staan; de verzameling 
is dus overaftelbaar.
