Axiomas del Peano

Axioma. (Peano)

Dado un conjunto , otro conjunto y una relación tal que , tenemos los siguente:

1. .
2. , es decir, es función, .
3. .
4. .
5. Si y cumple que: , y que , entonces .

Combinando los axiomas (ii), (iii) y (iv) obtenemos que y que es inyectiva.

La relación es definida conjuntistamente por Von Newman.^[Funcion Sucesor]