• L'élément appelé zéro et noté 0 est un entier naturel.



• Tout entier naturel n a un successeur noté S(n).



• Aucun entier naturel n'a 0 pour successeur.



• [S(m)=S(n)] ==> [m=n].



• etc...






• L'ensemble N des nombres entiers est alors :

                      N = {0,S(0),S(S(0)),S(S(S(0))),S(S(S(S(0)))),S(S(S(S(S(0))))),S(S(S(S(S(S(0)))))),S(S(S(S(S(S(S(0))))))),...}
                             |__| |_____| |________| |___________| |______________| |_________________| |____________________|
  

                    S(n) = n+1

                    N = {0,1,2,3,4,5,6,7,...}