Ylinumeroituva joukko
Koska numeroituva joukko voi olla alkiomäärältään joko äärellinen tai ääretön, on näitä joukkoja mahtavampi joukko aina alkiomäärältään ääretön. Kansantajuisesti ilmaistuna: kun numeroituvasti ääretön joukko sisältää aina "yhtä monta alkiota" kuin luonnollisten lukujen joukko formula_1, ylinumeroituvassa joukossa on huomattavasti enemmän lukuja. Numeroituvuus voidaan todeta asettamalla tutkittavan joukon alkiot yksi kerrallaan pariksi luonnollisten lukujen alkioiden kanssa siten, että kaikki joukon alkiot tulevat käsiteltyä yhden kerran. Ylinumeroituvan joukon alkioita on niin paljon, ettei sen alkioita pystytä edes luettelemaan missään järjestyksessä, jotta parinmuodostusta voisi suorittaa.
Joukko-oppi
Joukko-oppi on myös lupaava perustava järjestelmä suurelle osalle matematiikkaa. Siitä lähtien kun teoksen "Principia Mathematica" ensimmäinen nide ilmestyi, on väitetty, että useimmat tai jopa kaikki matemaattiset teoreemat voidaan johtaa asianmukaisesti laaditusta joukko-opin aksiooma­järjestelmästä, johon on ensimmäisen ja toisen asteen logiikan avulla täydennetty monilla määritelmillä. Esimerkiksi luonnollisten ja reaalilukujen ominaisuudet voidaan johtaa joukko-opista, sillä jokainen luku­alue voidaan määritellä jossakin äärettömässä joukossa määriteltyyn ekvivalenssirelaatioon liittyvien ekvivalenssi­luokkien joukkona.