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

m
mise à jour
m (Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1))
m (mise à jour)
| numéro = 7
| précédent = [[../Des preuves de cohérence/]]
| suivant = [[../Construction finitaire de l'ensemble des vérités/]]
}}