Bah j'avais un esquisse, mais plutôt compliquée (récurrence mélangée avec preuve par absurde).
Et après ton commentaire, j'ai relu plus sérieusement et ai trouvé une erreur (un passage un peu "rapide").
J'ai effectivement oublié de préciser l'axiome de coupure (de Dedekind il me semble).
Je l'ai mis en détente, car je me suis dit que ça pourrait en amuser certains, de plus c'est par culture générale que je me suis posé la question (et pas dans le cadre d'un exercice). Finalement partout où j'ai vu l'introduction des puissances (entières), il est simplement écrit: "x^n est bijective" sans autres précisions, du coup je me suis dit qu'il devait y avoir une démonstration plus simple (que la fausse mienne

).
Bref, veuillez m'excuser pour cette "fausse" énigme

.