>>604
>1）このJech氏証明のキモは、集合Aから 要素を
>　a0,a1,a2,・・と取り出して
>　そのときの選択関数の入力の集合が
>　A(=A＼Φ),A＼{a0},A＼{a0,a2},・・,A＼{a0,a2,・・},・・となって
ああ、君ぜんぜん分かってないね

Aの要素 a0,a1,a2,・・をどうやって取り出すつもり？
どうせ答えられないだろうから答えを教えると選択関数を使ってるんだよ
a0=f(A)
a1=f(A＼{a0})
a2=f(A＼{a0,a1})
・・・
ってね。

それが可能なのは、P(A)-{}に対して選択公理を適用してるから。すなわち選択関数の定義域はP(A)-{}であってAではない。

君、端から分かってないね。それで分かった風に語っちゃったらそりゃ公開処刑されるわ。