21/05/19 10:38:23.44 F1LMOWa6.net
>>161 補足
壱大整域さんが
分かりやすい
下記”証明
(1 ⇒ 2)
Xを集合とする．Xが整列可能である事を示す．順序数λで，￢|λ|≦|X| となるものを取る．選択公理を A := P(X)＼{ Φ } に適用して，選択関数 f: A→X を得る．”
など、Xのべき集合P(X)を構成して、これを使ってXと順序同型を構成するのがキモ
21/05/19 10:38:23.44 F1LMOWa6.net
>>161 補足
壱大整域さんが
分かりやすい
下記”証明
(1 ⇒ 2)
Xを集合とする．Xが整列可能である事を示す．順序数λで，￢|λ|≦|X| となるものを取る．選択公理を A := P(X)＼{ Φ } に適用して，選択関数 f: A→X を得る．”
など、Xのべき集合P(X)を構成して、これを使ってXと順序同型を構成するのがキモ