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

>だったら何も書くな

ID:LSdHrjXv は、御大か
午後の巡回ご苦労様です

箱入り無数目スレで、いかにも自分たちが
選択公理−選択関数が分かっているかのように ほざくが
その実、この＜公開処刑＞の通りｗ
選択公理−選択関数が、さっぱり分かってない やつらですｗ　；ｐ）

>> P(A)-Φから、その部分集合を作り出す 置換公理の関数
>　何勝手にJechが行ってないこと妄想してんだｗ

まず、論点を整理しよう

・Jechの証明 >>667 を、是とするか あるいは否とするか？ 立場をはっきりさせろ
　否とするならば、どの点が 証明として問題なのか？ そこをはっきりさせろ
　証明として問題点が指摘できないならば、是にしかならんｗ ；ｐ）
・補足すると、Jech氏のテキストの初版は1978年で
　おそらく、Jech氏自身も大学講義に使ったろう
　だから、疑問点や問題点は、それなりに指摘され、タイポなども 修正されているだろう
・次に、JechのTheorem 5.1 (Zermelo’s Well-Ordering Theorem)の
　証明中の関数 ”We let for every α
　aα=f(A-{aξ：ξ<α})
　if A-{aξ：ξ<α} is nonempty.”
　が分からない
　というので、>>667に私の見解を書いた
・で、この見解に不満ならば、てめえの見解を書いたらいいでしょｗ
　自分の見解を書けないならば、黙ってな！！ ってことよｗｗ ；ｐ）