J'm'interroge a écrit : ↑03 août19, 05:49
Bien je ne vois toujours pas pourquoi X : {a,b,c,d} ; Y : {b,e,f} avec e tel que e=>non c, ne seraient pas des ensembles, sauf en ce qu'ils sont rejetés on ne sait pas bien pourquoi par l'axiome 2 tel que formulé initialement.
Formulation qui ressemble à la proposition :
"Cette phrase contient 9 fois la lettre t, si vous en comptez plus ou moins c'est que vous ne savez pas compter."
Bien moi je compte et j'en compte 10.
sibira a écrit : ↑03 août19, 06:09
tu oublie un truc (du niveau lycée )
que si X={a,b,c,d,e} contient cinq éléments
et si Y={a,b,c} contient trois éléments
Quel est le rapport avec ce que je dis ?
sibira a écrit : ↑03 août19, 06:09
de toute façon avec l'axiome de la paire tu n'auras jamais plus de deux éléments
là dans cet exemple tu aura
{X,Y} donc l'ensemble { {a,b,c,d,e} , {a,b,c} } et ta fâcheuse manie d'oublier des accolades commence vraiment à me saouler
T'as vu où que je continuais d'oublier les accolades ?
Reprends mon cas :
X : {a,b,c,d} et Y : {b,e,f}, sachant que e => non c ou dit autrement : sachant que e ou c => contradiction.
Z : {{a,b,c,d},{b,e,f}} => contradiction.
Z : {{X},{Y}} => contradiction.
Qu'est-ce que tu ne comprends pas ?
sibira a écrit : ↑03 août19, 06:09
pour le reste si tu fais en sorte que X n'est pas un ensemble eh bien là je te renvoie à la réponse que j'ai donné à Benfils....
CQFD
Bien non, c'est pas CQFD du tout ton truc.
X :{a,b,c,d} et Y : {b,e,f}, sachant que e => non c ou dit autrement : sachant que e ou c => contradiction, ça a bien la forme d'ensembles, ce sont donc bien des ensembles.
Or, c'est évident, mes X et Y contredisent ton
axiome 2.
Donc désolé, mais c'est de la merde cet
axiome.
Si le reste des
axiomes de ZF dépendent de lui, le tout est à jeter à la poubelle.
Sache un truc de base : pour parler d' "axiomes" il y a deux critères : 1) l'évidence et 2) la résistance à toute critique rationnelle.
Si ces critères ne sont pas remplis, on parle alors de "postulats" ou de "définitions", mais pas d' "axiomes".
Ok ?
(Attention, ça pue la secte ce truc !)
.