24/02/15 21:51:55.09 Yql9K+Mt.net
例えばさ、箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はありますか？
という問題なら、∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
後者の命題は正の整数の代わりに整数にしても成り立つけど、明らかに整数では必勝法はない。
だから、箱の中を見てないと主張するには∀をなるべく内側に入れた命題を証明しないとだめなんじゃよ