>一晩考えた末に戦略の致命的な欠陥が見えてしまった。
　具体的手続きが示されないことが「致命的な欠陥」というのは
　選択公理を理解してない証拠

　そういえばヒルベルトが不変式の有限基底の存在を
　基底を求める具体的手続きを示すことなく証明したとき
　ゴルダンはこういったそうだ
　「これは数学じゃない！神学だ」

　いいたいことはわかるが、数学史上は●●老人の発言として扱われる「迷言」