« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle (modifier)
Version du 12 février 2007 à 22:02
, il y a 15 ansRobot : ajoute Catégorie:Fondements_des_mathématiques (livre)
imported>Tavernierbot m (Bot: Retouches cosmétiques) |
imported>Tavernierbot m (Robot : ajoute Catégorie:Fondements_des_mathématiques (livre)) |
||
|
Cela termine cette preuve abrégée que Finitaire1 permet de prouver la cohérence de AF.
[[Catégorie:Fondements des mathématiques (livre)]]
| |||