9 251
modifications
« 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 21 avril 2007 à 21:16
, il y a 15 anscat
m (cat) |
|||
|
Cela termine cette preuve abrégée que Finitaire1 permet de prouver la cohérence de AF.
[[Catégorie:Fondements des mathématiques
| |||