« Fondements des mathématiques/Des preuves de cohérence/Construction finitaire de l'ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : - espace après les signes ouvrants et avant les signes fermants |
m Bot : Indexation dans Catégorie:Fondements des mathématiques (livre) |
||
Ligne 287 :
Cela termine cette construction de VAF à partir de VAF0. La même construction peut être faite pour n’importe que 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.
[[Catégorie:Fondements des mathématiques (livre)|Des preuves de cohérence]]
|