17/06/03 10:18:58.34 YbwQeVvS.net
だいたい
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
が同じなら、否定されるのは
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」
なのであって否定されるのはスレッド主の立場だろう
だからスレッド主としては
・（１）は（２）とは異なる
・（１）は選択公理と矛盾するから、（１）を前提すれば
同値類から代表元をとる関数は存在しない
というしかない
証明責務を負っているのは
「予測できるわけがない！」
と云いだしたスレッド主のみ
ま、頑張ってください
あと測度論だけ勉強してもダメですよ
集合論勉強しないとね 大変だね