21/05/19 15:11:44.41 F1LMOWa6.net
>>177
>選択公理を仮定すれば最小の正実数が存在するだって？0点で落第ですｗ
”最小の正実数が存在する”は、可能じゃない？（＾＾
下記の”Zとかも普通の大小関係は整列順序じゃないけど0<-1<1<-2<2<...<-n<n<...と並べ直したら整列集合になってます.”
が許されるなら。かつ、整列可能定理を認めるならば
「任意のある実数 r∈R を取って、rを最小とする実数Rの整列順序が可能」でしょ？
これくらい、すぐ分かるよね？
分からない？
分からないなら、地あたま悪いよね、君ｗ（＾＾；
(>>161再録)
参考
URLﾘﾝｸ(paiotunoowari.hatenadiary.jp)
整列可能定理 2015-12-03 ぱいおつ日記
ひかるさんのアドベントカレンダー企画の3日目の記事です.
(抜粋)
Nは普通の大小関係で整列集合になってます.
Zとかも普通の大小関係は整列順序じゃないけど0<-1<1<-2<2<...<-n<n<...と並べ直したら整列集合になってます.
こんなふうに,ある順序で整列集合でないような集合でも別の順序では整列集合になっていたりします.
有名ですが,じつは,どんな集合にも整列順序が入れられるというのは選択公理と同値です.
(引用終り)
以上