>>427
> 292の証明は、整列定理から作った特別な選択函数を用いれば成立する
> ということは分かりますかね？
　なるほど　X＝Nとして
　∀Y⊂N.((Y≠{})⇒∀n∈Y.(f(Y)≦n))
　Yにnより小さい元があればf(Y)<n
　Yにnより小さい元がなければf(Y)=n

　Jechの証明のfから上記の性質を持つfに改造できればいいってことで
　多分いろいろやり方はありそうだけ
　（たとえばfが半順序になるところまでなんとか持って行って
　　ツォルンの補題を経由して証明するとか）
　一番簡単なのはJechの証明の方法でとにかく整列しちゃうってことですかね

　ということで意図が分かると、
　阪大工学部卒の凡人が貶すほど酷いものでもないとわかりますね
　まあ、そういうことなんだろうなと思いましたけど　
　大学１年４月で数学から落伍した凡人は嫉妬丸出しで酷いこというんでね
　まあ人間失格のサルだから仕方ないですけどね　奴は