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

m
Bot : 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’’, x’’’, …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 X, …X…, Im par ProdS14 de X)
 
Sub =def Ensemble-somme de Ensemble induit par ProdS à partir de Union(SubS1, SubS2, SubS3, SubS15, SubS16)
143 371

modifications