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