« Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
m Lydie Noria a déplacé la page Fondements des mathématiques/Des preuves de cohérence/Preuve naturelle de la cohérence de l'arithmétique formelle vers [[Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle... |
wikification |
||
Ligne 1 :
{{Chapitre
|niveau=11
| titre = Preuve naturelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
| numéro = 7
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de l'ensemble des vérités/]]
}}
Cette section expose des axiomes pour l’arithmétique formelle et une preuve naturelle de leur cohérence.
| |||