Axiomas
Postulados

Sistemas de segundo orden para definir los números naturales

1 El 1 es natural
2 Todo natural n tiene un sucesor
3 1 no es sucesor de ningún natural
4 Si dos naturales m,n tiene el mismo sucesor, entonces son el mismo número