« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
wikification |
wikification |
||
Ligne 1 :
{{Chapitre
| niveau =
| titre = Preuve naturelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
Ligne 111 :
Cela termine cette preuve de la cohérence de AF. Elle revient principalement à dire que tous les axiomes de l’arithmétique sont évidemment vrais pour les nombres entiers, ce qui n’est pas vraiment une nouvelle extraordinaire. Mais cette preuve est importante parce qu’elle prouve qu’on peut prouver la cohérence des axiomes, et donc plus généralement, la fiabilité des principes.
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de l'ensemble des vérités/]]
}}
[[Catégorie:Fondements des mathématiques]]
| |||