« Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle » : différence entre les versions
Contenu supprimé Contenu ajouté
wikification |
|||
Ligne 1 :
{{Chapitre
|niveau=11
| titre = Preuve formelle de la cohérence de l'arithmétique formelle
| idfaculté = mathématiques
| numéro = 9
| précédent = [[../Construction finitaire de l'ensemble des vérités/]]
| suivant = [[../Cohérence des théories finitaires/]]
}}
La théorie ''Finitaire 1'' permet de formaliser la preuve naturelle de la cohérence de l’arithmétique formelle ''AF''.
| |||