« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
m →La représentation des vérités : Orth. |
||
Ligne 293 :
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
|