>>101
>”具体的に”の定義は？ 何を言おうとしたのかな？
代表選出の手続き及び結果が示せること
それ以外に無いと思うんですが？

>”いかなるレベルの選択公理も必要ない”とは？
選択公理を全く使わない、ってこと
それ以外に無いと思うんですが？

>例えば、一例でいいから、
>非可算の同値類集合族において
>”具体的に代表を取る方法がある”を、
>ZFでどの公理を使うかを明示的に書いて
>選択公理の代用が可能なことを示せ！

今、Qの話をしてるのになんで
非可算の同値類集合族になるのか分からんけど
例えば、X✕Yの2つの要素について、
同じxをもつものを同値とするなら
各xについて、あるy0∈Yをとってきて
(x,y0)を代表とすればいいだけ
この場合は選択公理要らないですね