0068132人目の素数さん垢版 | 大砲2019/02/18(月) 22:31:50.23ID:RtAkoZaQ >>30 >この視点で考えると、決定番号の概念にも誤魔化しがあって、 誤魔化しはありません。 >例えば2列で大小比較をして確率計算ができるのか?と 選択公理を仮定すればR^N/〜の代表系の存在が保証されます。 代表系が存在するということは、∀s∈R^N について同値な代表が存在するということであり、 決定番号はその定義から自然数となります。 ある2つの自然数は常に大小比較をすることが可能です。