./7925 > Ah oui, ça n'est plus un bon ordre du coup en l'occurrence mais on doit pouvoir faire plus sophistiqué sur le même principe, ok
Hippo > hmm ok, et donc cette construction axiomatique va faire que même le principe de récurrence marche dans cette axiomatique puisque tout est engendré par 0 et succ (c'était la question que je me posais après le post de Kevin)...
et oui je n'avais pas pensé qu'on pouvait appliquer succ un nombre non standard (ou non fini comme celui dont parle Kevin) de fois, je crois que je vois l'idée, merci
