Assiomi di Peano

1. "Zero" (0) è un "numero naturale".
2. Ad ogni naturale n è associato un numero naturale σ(n) diverso da zero detto "successivo" di n; naturali diversi hanno successivi diversi.
3. Se un insieme A di numeri naturali contiene 0 e contiene il successivo di ogni suo elemento, allora A=N.