>>760
>Aから一つずつ Aの要素を取り出して
だからどうやって取り出すのか聞いてるんだけど

>集合族A-{aξ：ξ<α}を作る
（中略）
>そこが弱い
まったくデタラメのゴミ駄文。


任意の集合Aとある順序数λとの間に全単射が存在するなら整列順序(A,>)を構成できる。
Aが可算なら定義から自明にλ=ω。
任意の集合Aに対し選択関数を使ってλ=sup{α|aα is defined}を構成してるのがJechの証明。