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