52 662
modifications
« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Aller à la navigation
Aller à la recherche
Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle (modifier)
Version du 3 août 2012 à 17:24
, il y a 10 answikification
(wikification) |
(wikification) |
||
|
{{Chapitre
| niveau =
| titre = Preuve formelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
Cela termine cette preuve abrégée que Finitaire1 permet de prouver la cohérence de AF.
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../Construction finitaire de l'ensemble des vérités/]]
| suivant = [[../Cohérence des théories finitaires/]]
}}
[[Catégorie:Fondements des mathématiques]]
| |||