Il ne pourra jamais le démontrer, vu que c'est la définition de cinq pardi ! 5 c'est le nombre qui vient juste après 4, qui vient lui même après 3 etc jusqu'à 0. Si ma mémoire est bonne cela s'appelle la construction axiomatique de Zermelo-Frankel de l'ensemble N, vieux souvenir de fac !!. En fait il s'agit d'une définition par récurrence ou récursive. U(n)=U(n)-1 et U(0)=1.
Pour la petite histoire, et je ne résiste pas sur ma lancée :), Zermelo a contruit l'ensemble Z, en fermant (i.e. en rajoutant les symétriques des nombres, en fait les opposés) par rapport à l'addition, pour en faire un groupe !
[^] # Re: Oracle 9iRAC serait moins bon sur cluster Linux que sur Unix
Posté par khalid . En réponse à la dépêche Oracle 9iRAC serait moins bon sur cluster Linux que sur Unix. Évalué à 2.
Pour la petite histoire, et je ne résiste pas sur ma lancée :), Zermelo a contruit l'ensemble Z, en fermant (i.e. en rajoutant les symétriques des nombres, en fait les opposés) par rapport à l'addition, pour en faire un groupe !