« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6) |
m Bot : Remplacement de texte automatisé (-... +…) |
||
Ligne 50 :
(pour tout x’) erp sssssssssssssso (14)
et ainsi de suite pour les autres variables, x’’, x’’’,
Pour que la suite soit plus compréhensible, nous introduisons les définitions suivantes :
Ligne 85 :
2 erp a(so)(a(so)o)
…
La fonction de succession erp Succ
Ligne 226 :
SubS16 =def Ensemble-image par Fonction CassXX’CX’’CXassXX’ de (Var Pcart(PAF Pcart N))
ProdS =def Fonction Union(Im par ProdS4 de X, Im par ProdS5 de X,
Sub =def Ensemble-somme de Ensemble induit par ProdS à partir de Union(SubS1, SubS2, SubS3, SubS15, SubS16)
|