En la propia exposición de la axiomática aparecerán (se construirán) los números naturales de manera totalmente natural (valga la redundancia).