>>186
>3人の意見は細部は微妙に異なるが
3人とは
ID:LjFo8gCR=1
ID:zXcXhJij=自称菩薩
ID:JZNUYo2y=ID:4ipQw1aI=多変数解析函数論
のことですかね？
　
>箱入り無数目の問題文がダメ
>（「閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.勝つ戦略はあるでしょうか?」にNo！）

問題文に対して「勝つ戦略はない」というなら
問題文は全然「ダメ」じゃないと思うが如何？

>箱入り無数目の解答の戦略部分は、厳密な証明とは認められない！

お三方とも選択公理を理解してないだけ
多変数解析函数論氏が、この中では一番賢いみたいだが
彼ですら「選択関数が具体的に実行できないからダメ」とかいってる

そんな言い訳するなら、最初っから選択公理は認めない！といえばいいのに
なにビビってんのか知らんけど「いや、選択公理は否定しない」と怯えながらいう始末
選択公理否定すると地獄に落ちるのか？　それ、どんなカルト宗教？