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

Aller à la navigation Aller à la recherche
m
cat
m (cat)
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)]]
9 251

modifications

Menu de navigation