« 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é (-... +…) |
m Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) |
||
Ligne 50 :
(pour tout x’) erp sssssssssssssso (14)
et ainsi de suite pour les autres variables, x’’,
Pour que la suite soit plus compréhensible, nous introduisons les définitions suivantes :
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
Sub =def Ensemble-somme de Ensemble induit par ProdS à partir de Union(SubS1, SubS2, SubS3, SubS15, SubS16)
| |||