« 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
wikification
(wikification)
(wikification)
{{Chapitre
| niveau =11 16
| 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]]

Menu de navigation