« 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
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)]]