« 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é (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6))
m (Bot : Remplacement de texte automatisé (-... +…))
(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 :
2 erp a(so)(a(so)o)
 
...
 
La fonction de succession erp Succ
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, ..., 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