L'idée que l'on peut se faire d'un nombre entier naturel semble assez évidente, à tel point que l'Homme les a depuis toujours utilisés sans se poser de question sur leur existence. Cependant, à la fin du XIX
e siècle, les mathématiciens ont senti le besoin de prouver et redéfinir l'existence de tous les objets mathématiques. C'est ainsi que Richard Dedekind (1831-1916) et
Giuseppe Peano (1858-1932) ont proposé de façon indépendante une construction des entiers naturels dont voici les axiomes :
1. l'élément appelé zéro, et noté
0, est un entier naturel ;
2. tout entier naturel
n a un unique successeur, que l'on peut noter
s(n) ;
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.
Les travaux de Peano ont aussi permis de prouver la validité du raisonnement par récurrence. Peano a également proposé la notation
N et les symboles
∩,
∪,
∈, etc. que l'on utilise encore de nos jours.
Giuseppe Peano (1858-1932)