52 661
modifications
« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Fondements des mathématiques/Construction finitaire de l’ensemble des vérités (modifier)
Version du 3 août 2012 à 17:22
, il y a 9 answikification
m (Robot : Changement de type cosmétique) |
(wikification) |
||
|
{{Chapitre
| niveau =
| 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]]
| |||