>>639
>同値類がひとつなら
>代表は 0,0,・・・ でよいから
>選択公理不要だね。

そうだね

>じゃあいま問題としている
>非可測性の根本的原因も排除できるね。

同値類が一つというだけでは
実は回避できないが
>>635で決定番号が幾何分布するから可測となる
これが本質的な回避の理由だね