Ylinumeroituva joukko
Ylinumeroituva joukko on matematiikassa joukko-opin termi ja se tarkoittaa joukkoa, joka ei ole numeroituva. Siinä on silloin merkittävästi enemmän alkioita kuin numeroituvassa joukossa eli se on mahtavampi joukko.
Ylinumeroituva joukko
Cantorin ajatus oli, että mahtavuudeltaan pienimmällä ylinumeroituvalla joukolla olisi kardinaaliluku formula_12. Kun hän osoitti reaaliluvut ylinumeroituvaksi joukoksi, hän oletti aluksi, että reaalilukujen kardinaaliluku olisi formula_12. Tätä ei voitu osoittaa todeksi, joten varmuuden vuoksi kardinaaliluvuksi on otettu formula_18, joka on formula_19 .