@RoyalBiceps
Pas vraiment, on définit 2 := 1 + 1, c'est juste une abréviation (de même façon qu'on définit 3:= 1 + 1 + 1)
Pour la preuve, il faut partir de l'axiome des entiers naturel et on définit 2 comme la deuxième composé de S o S, avec S étant l'élément suivant
Bref.