La primera de ellas se basa en la noción de número natural, que puede definirse con precisión como un ordinal menor que cualquier ordinal límite.