Le concept que tu cherches, mais qui ne peut pas être exprimé par la logique du premier ordre, c'est qu'en appliquant la fonction "prédécesseur" un nombre fini de fois, on retombe sur 0. (Et ça revient au même que de dire que tous les nombres ont été construits par les 2 axiomes dont je suis parti.)