« 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
m (Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n))
 
VAF =def Ensemble-somme de Extension de (Il existe Z’, Z’’ tels que CZ’CZZ’’ Dans AVF)
 
Cela termine cette construction de VAF à partir de VAF0. La même construction peut être faite pour n’importe qu'quel 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.
 
 
735

modifications

Menu de navigation