- 826 名前：１３２人目の素数さん [2025/01/28(火) 21:29:13.83 ID:SFFxcmct.net]
- >>760
>Aから一つずつ Aの要素を取り出して
だからどうやって取り出すのか聞いてるんだけど
>集合族A-{aξ：ξ<α}を作る
（中略）
>そこが弱い
まったくデタラメのゴミ駄文。
任意の集合Aとある順序数λとの間に全単射が存在するなら整列順序(A,>)を構成できる。
Aが可算なら定義から自明にλ=ω。
任意の集合Aに対し選択関数を使ってλ=sup{α|aα is defined}を構成してるのがJechの証明。
