>>147
>代表が決まっていればね
もちろん
箱入り無数目はZFCの定理
記事にも明記されている
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. 」