>>30
>この視点で考えると、決定番号の概念にも誤魔化しがあって、
誤魔化しはありません。

>例えば2列で大小比較をして確率計算ができるのか?と
選択公理を仮定すればR^N/〜の代表系の存在が保証されます。
代表系が存在するということは、∀s∈R^N について同値な代表が存在するということであり、
決定番号はその定義から自然数となります。
ある2つの自然数は常に大小比較をすることが可能です。