Axiomes de Peano

< 1 2 3 >

L'arithmétique de Peano définit les entiers naturels.

Cette théorie se lit comme :

1.	L'élément appelé zéro et noté 0 est un entier naturel.
2.	Tout entier naturel n a un unique successeur, noté s(n) ou Sn.
3.	Aucun entier naturel n'a 0 pour successeur.
4.	Deux entiers naturels ayant le même successeur sont égaux.
5.	Si un ensemble d'entiers naturels contient 0 et contient le successeur de chacun de ses éléments, alors cet ensemble est égal à N.

Le mathématicien italien Giuseppe Peano a contribué beaucoup à la théorie des nombres.