19/03/04 23:35:39.52 7BVQ/1dr.net
>>848
(引用開始)
問題はすべてのn に対して同時にx1 < x2 < ・ ・ ・ < xn < ・ ・ ・ となる元を取り出せるか, と
いうことにある(これができなければ, 有限時間に生きる我々には議論を終えることができない). 言
い換えるなら, 上記(8.1) を満たすような唯1 つに定まる写像f : N → X (n → xn) が我々にとれる
のであろうか？
(引用終り)
”写像f : N → X (n → xn) ”は、選択関数を連想させるように書いたのかもね
おっと、よく読むと 戸松先生PDFのP3に、こんなのが（＾＾
これ、>>823の「素朴な疑問 スレ主は数学的帰納法を使う時に選択公理でどこから何を選択するつもりなの？」の一つの例になっているかも
しかし、最初にこれを示しても、屁理屈サイコパスは、屁理屈こねただ�