Ce que l'on peut dire c'est que les entiers naturels sont rigoureusement construit à partir d'une série d'axiomes (les axiomes de peano), le premier de ces axiomes est que 0 est un entier naturel, le second dit que tout entier naturel n a un successeur (n+1) (qui est lui aussi un entier naturel).
A partir de cela, on peut dire que 1 a un successeur : 1+1 on décide de noter ce successeur 2.