Axiomes de Peano

Els axiomes de Peano defineixen els nombres naturals.

1. El zero és un nombre natural.
2. Si n és un nombre natural, llavors el seu successor n* també és natural.
3. El zero no és successor de cap nombre natural.
4. Si dos nombres naturals n i m tenen el mateix successor (n* = m*), aleshores n = m.
5. Siga n un nombre natural qualsevol, si el zero i n* pertanyen a un conjunt aleshores tots els nombres naturals hi pertanyen.