axiome de Peano

ARITHMETIQUE
FONDEMENTS DES MATHEMATIQUES

Il n’y a pas de x élément de N tel que s(x)=z.
Si s(x)=s(y), alors x=y.
Si une partie M de N est telle que z en soit élément, et telle aussi que,
lorsque x et élément de M, s (x) l’est nécessairement aussi, alors M = N.
Les axiomes de Peano définissent N, à un isomorphisme près.