Mi a felsorolhatóság a halmazelméletben?
Egy halmazt akkor nevezünk megszámlálhatónak, ha a természetes számokkal egy az egyhez megfeleltetésbe hozható. Más szóval, ha a halmaz minden elemét párosíthatjuk egy egyedi természetes számmal, akkor a halmaz megszámlálható.
Például az összes egész halmaz megszámlálható, mert minden egész számot párosíthatunk egyedi természetes számmal: $1$ a $1$ szám, a $2$ a $2$ számmal, és így tovább.
Másrészt az összes valós szám halmaza nem megszámlálható, mert megszámlálhatatlanul sok valós szám van, és nincs mód az egyes valós számok párosítására egyedi természetes szám.



