« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions

wikification
m (Robot : Changement de type cosmétique)
(wikification)
{{Chapitre
| niveau =11 16
| titre = Construction finitaire de l'ensemble des vérités
| idfaculté = mathématiques
 
Cela termine cette construction de VAF à partir de VAF0. La même construction peut être faite pour n’importe qu'ensemble initial de formules atomiques. Cela montre que si une théorie a un modèle finitaire, alors l’ensemble de toutes ses vérités est lui aussi finitaire.
 
 
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../Preuve naturelle de la cohérence de l'arithmétique formelle/]]
| suivant = [[../Preuve formelle de la cohérence de l'arithmétique formelle/]]
}}
 
[[Catégorie:Fondements des mathématiques]]