17/11/18 20:55:27.25 EemFP5PJ.net
>>318 つづき
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
(抜粋)
実数からなる集合
選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。
R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。
同値な定式化
順序集合 X が全順序集合である場合には、以下の条件はどれも互いに同値である。
1)X は整列集合である。つまり、空でない任意の部分集合が最小元を持つ。
2)X の全体で超限帰納法が有効である。
3)X の元からなる任意の狭義単調減少列は必ず有限な長さで停止する（ただし、従属選択公理を仮定する）。
(引用終り)
以上