En primer lugar se elige un sistema axiomático S para los números naturales.