Comme promis à Pablo

AitJoseph

Salut eggorofski et Merci , maintenant j'ai compris

- Christophe a dit au départ que tu peux utiliser l'axiome du choix, et j'ai suivi .....
- E est de cardinal aumoins égal à deux
- E * { 0,1 } = E* {0} union E* {1} , ces deux derniers ensembles sont équipotents à E .
- Tu viens de montrer que si E est de cardinal , aumoins égal à 3 , on peut ne pas utiliser , l'axiome du choix ( qui est équivalent à Zorn ? )


Cordialement

christophe c

Je confirme l'axiome (l'énoncé) utilisé par Egoroff en disant qu'il est bien une conséquence prouvable dans ZF de l'axiome du choix. Je confirme aussi les exégèses d'Egoroff et Ju'x de mes propos.

@Joseph: résume-moi où on en est précisément de notre échange parce que là... (Je n'arrive pas à savoir ce que tu souhaites comme avis en fait, ce n'est pas très clair si tu revendiques ou pas avoir donné une bonne preuve ou non, donc avant d'aller la relire (il me semble que ju'x t'avait parfaitement répondu), je te demande de préciser ce à quoi tu veux que je réagisse)

egoroffski

Merci Christophe -D

christophe c

de rien -D

AitJoseph

-D:)-D:)-D -D:)-D:)-D



Tout est clair

Merci