Numrerbarhet är en egenskap hos en mängd som innebär att dess element kan kopplas ett-till-ett till de positiva heltalen (1, 2, 3, osv). Detta betyder att elementen i mängden kan räknas upp i en oändlig sekvens, även om sekvensen aldrig tar slut. Mängder som är numrerbara kallas uppräkneliga. Exempel på numrerbara mängder är de naturliga talen och de rationella talen.