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

>>643
>>定義域 P(A)-Φの全ての 選択関数f の （値域の）値を 書け！！ｗ ；ｐ）
>∀B∈(P(A)-Φ)についてf(B)∈B⊂A

なるほど
では、問う

1）>>642 A∖{aξ∣ξ<α}（>>631 Jech, Thomas (2002)）
　で、この選択関数 f：A∖{aξ∣ξ<α}→aα （>>631 より）
　ここで、Jech, Thomas の工夫は
　αという順序数を 選択関数 f に組み込んだことにあるよ
2）f(B)∈B⊂A だけだと
　i) Jech, Thomas の工夫（順序数の導入）が 無いけど それはどうしたの？ｗ ；ｐ）
　ii) f(B)∈B⊂A だけだと 選択公理のステートメントそのままじゃんｗｗ
　　”f(B)∈B⊂A” から、 Jech, Thomas の工夫 f：A∖{aξ∣ξ<α}→aαが出るかい？ｗｗｗ
　　繰り返すが もし、上記 Jech, Thomas の工夫 順序数の導入が導けないならば
　　それって、数学的に無意味（トリビアル）でしょ？ｗｗｗｗ ；ｐ）