>>362
>・game2 ：区間[0,1]の有理数10進展開 同値類は可算濃度→フルパワー選択公理不要（可算選択公理が必要）
はい、大間違いです。
有理数Qは可算集合なのでZFで整列可能、すなわちどの類（これはQの非空部分集合）も最小元を持つ。それを代表とすればよい。つまり選択関数を構成可能。
君、相変わらず無教養だねえ。