L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?
Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !
Sur la page Axiomes de Peano :
"Plus précisément si N' est un modèle non standard de l'arithmétique, alors il existe uneunique[réf. souhaitée] injection f de N dans N' telle que :