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

m
Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2)
m (Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 »))
m (Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUaeéèêiou]) +\1u'\2))
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 que 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.
 
[[Catégorie:Fondements des mathématiques]]
143 371

modifications