; je crains de nombreux malentendus. Quand vous dites "Il n'y a aucune erreur de mathématiques dans ce que j'ai fait", on pourrait relever au hasard, votre expression {{{A,x}|x\in A}|A\in B} (mieux écrite \{\{\{A,x\}|x\in A\}|A\in B\}) ne correspond pas à la définition classique d'une fonction de choix (il faudrait utiliser des couples (A,x) et non des paires {A,x} pour éviter des complications si l'axiome de fondation n'est pas utilisé), l'expression "ensemble choix" est non standard (voir ici <url> ; en français, on emploie plutôt fonction de choix, comme le fait l'article <url>), mais le plus grave est sûrement cette idée d'inventer une fonction couple mal définie : que signifierait dans ce contexte l'expression (p o p)(x_&,x_2,x_3) ?