Det finns ngt av matematiskt intresse i det här, man frågar sig; hur stor är skillnaden mellan storleken på en mängd och storleken på dess element. Det visar sig svårt att få en större skillnad än den som finns mellan ett naturligt tal och mängden av alla naturliga tal. Man kan mäta denna storleksskillnad på olika sätt och om man vill ha en mängd som är större än mängden av naturliga tal som har samma skillnad i storlek mellan elementen och mängden enligt något av dessa sätt så händer något konstigt. Det innebär då att om man ska hitta en mängd J som är lika mkt större än sina element som mängden av naturliga tal är större än sina, ja då blir det en jättestor mängd. Så det är ngt speciellt med mängden av naturliga tal. Det här är gamla nyheter med modern tillämpning, från Mahlo över Ulam till
Cohen och Woodin.