[...] le codage classique des entiers naturels [...]
Je suppose que tu fais référence à la construction de Von Neumann mais il est aussi très commun de partir de l'axiome de l'infini. En bref la méthode fonctionne en énonçant l'axiome de l'infini comme suit:
Il existe un ensemble X qui n'est pas l'ensemble vide et \sigma: X \to X
une application injective qui n'est pas surjective.
Puis on choisit un un point qui n'est pas dans l'image de \sigma et on prend N l'intersection de toutes les parties \sigma-stables de X qui contiennent , ce qui nous permet ensuite de suivre la méthode de Peano.
[^] # Re: théorie des ensembles pas naives
Posté par Michaël (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 3.
Je suppose que tu fais référence à la construction de Von Neumann mais il est aussi très commun de partir de l'axiome de l'infini. En bref la méthode fonctionne en énonçant l'axiome de l'infini comme suit:
Puis on choisit un un point qui n'est pas dans l'image de \sigma et on prend N l'intersection de toutes les parties \sigma-stables de X qui contiennent , ce qui nous permet ensuite de suivre la méthode de Peano.