>>689-690
>R/Qは可算集合ではない
>だから、可算選択公理では代表を選出できない

そうでした
勘違い
大チョンボでした
撤回します >>691 >>687-688

訂正版
1)いま、非可算に適用できる何かの選択公理(DC?)を仮定すると、R/Qにすべてに非可算添え字ができて
 rt | [rt]∈R/Q (tは非可算添え字)とできる
2)つまり、R/Q={rt | [rt]∈R/Q (tは非可算添え字)}と書ける
  [rt]の意味は、>>684 ご参照
3)任意r∈Rで、rはR/Qから取り出せる
 逆も真(任意[rt]の元は、Rの元)
4)よってZF+非可算に適用できる何かの選択公理(DC?)で
 |R|=|R/Q|では?
5)Division Paradox |R|<|R/Q|は、主に
 LM:the assertion that all sets of reals are Lebesgue measurable>>680
 からなのだろう