21/05/18 08:44:53.81 4SccZpT/.net
>>130-131
>>正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。
>じゃダメじゃんｗ
>通常の大小関係では整列順序でないんでしょ？
意味分からん
「正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない」
は、初等的な結果だよ。中高校レベル
一方で、「選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる」
は、大学レベル
何の反論にもなっていないぞ！ｗ（＾＾；
お茶目な おサルだねぇ～！！ｗ（＾＾