暇つぶし2chat MATH

- 暇つぶし2ch692:１３２人目の素数さん
18/12/29 20:07:51.35 dAnabccJ.net
>>634
バナッハ・タルスキーのパラドックス」が
双曲空間上では選択公理抜きで実現できるように
広義の時枝戦略も、例えば一般の無限列の代わりに
有理数の小数展開をとる形にすれば、選択公理抜きで
代表元を選ぶ関数が作れて同様の結果が成り立つ
つまり、選択公理の否定は真の逃げ道ではない