« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions

catégorisation
m (Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1))
(catégorisation)
| numéro = 9
| précédent = [[../Construction finitaire de l'ensemble des vérités/]]
| suivant = [[../Cohérence des théories finitaires/]]
}}
 
| suivant = [[../Cohérence des théories finitaires/]]
}}
 
[[Catégorie:Fondements des mathématiques]]