”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>646
>そのまんまだけど？　何が分からないと？

まあ
そうやって逃げるのが賢明だねｗｗ ；ｐ）

>>647
>>ここで、Jech, Thomas の工夫はαという順序数を 選択関数 f に組み込んだことにあるよ
>選択関数の定義域は2^A-{}、値域はAであって、どこにも順序数は無いんだが、「順序数を選択関数に組み込む」って何？
>何をどう勘違いしたの？

ふっふ、ほっほ
Jech, Thomas 下記だよｗｗｗ ；ｐ）
”We let for everv α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempt.”
だよ
百回音読してねｗｗｗ ；ｐ）

選択関数fの 定義域を
集合族P(A)-Φ 全体に広げる必要性も、
必然性もないでしょ！！ｗｗｗ ；ｐ）

　>>630より 再度転記
T Jech 著 · 1997 · The Third Millennium Edition, revised and ... 2002. (Springer monographs in mathematics)
Thomas Jechの 証明
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
　Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.
We let for everv α
aα=f(A-{aξ：ξ<α})
if A-{aξ：ξ<α} is nonempt.
Let θ be the least ordinal such that A = {αξ: ξ < θ}.
Clearly,（aα：α< θ) enume