Vous êtes sûr d'avoir raison, si quoi que l'on puisse vous dire, vous décrétez savoir ce que chacun a en tête ; mais cela ne change pas le fait que contrairement à ce que vous affirmez dans le message #56, on peut très bien définir l'arithmétique usuelle (de Peano) sans avoir à définir le 1 préalablement (c'est d'ailleurs le cas de l'axiomatique standard de cette arithmétique).
-----