« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
imported>Tavernierbot m Bot: Retouches cosmétiques |
imported>Tavernierbot m Robot : ajoute Catégorie:Fondements_des_mathématiques (livre) |
||
Ligne 162 :
Cela termine cette preuve abrégée que Finitaire1 permet de prouver la cohérence de AF.
[[Catégorie:Fondements des mathématiques (livre)]]
|