« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
wikification |
||
Ligne 1 :
{{Chapitre
| niveau =
| titre = Construction finitaire de l'ensemble des vérités
| idfaculté = mathématiques
Ligne 295 :
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]]
| |||