143 371
modifications
« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions
Fondements des mathématiques/Construction finitaire de l’ensemble des vérités (modifier)
Version du 27 décembre 2008 à 11:05
, il y a 13 ansBot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…)
m (Bot : Remplacement de texte automatisé (-... +…)) |
m (Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…)) |
||
|
(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 :
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)
| |||