« 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
m
imported>Tavernierbot
m (Bot: Retouches cosmétiques)
imported>Tavernierbot
 
Cela termine cette preuve abrégée que Finitaire1 permet de prouver la cohérence de AF.
 
[[Catégorie:Fondements des mathématiques (livre)]]
Utilisateur anonyme

Menu de navigation