Mais avec l'axiome que tout entier a un prédécesseur sauf 0, on peut il me semble construire tout entier a posteriori : on remonte jusqu'à zéro et hop on le reconstruit à partir des deux axiomes que tu dis, ça ne marche pas ?