>>507
＞例えばさ、箱の中に正の整数が入ってます。
＞あなたはそれを見ずに何か正の整数を宣言します。
＞あなたの答が箱の中の数以下なら勝利です。
＞必勝法はありますか？
＞という問題なら、
＞∃x.∀y. x≦y が成立するから必勝ですって
＞誰でも答えられるでしょ

それ見る見ないと関係ないけど

＞これを、∀y. ∃x. x≦yが成立するから
＞必勝ですって言ったらおかしいでしょ

別におかしくないよ
例えば、ある人がある数を言って、
あなたがその数より大きな数をいったら勝ち
としようか

まあ、あなたが勝てるのは明らかだけどそれはなぜ？
∀ｘ∈N．∃ｙ∈N．ｘ＜ｙ
だからだよね？

箱入り無数目も箱の中身全部を隠蔽してないよ
っていうか、１個以外全部公開してる
で、どの列も尻尾が分かれば同値類は分かるから代表もわかる
あとはその代表の対応する項と隠してる箱の値が一致するかどうかだけ

候補として選べる１００箱のうち、一致しないのはたかだか１箱だと分かってる
２箱以上あったら矛盾するように選べるってこと　この時点で勝負あった
それがわからないってのは、自然数の順序が分かってないってことだから
自然数の定義からやり直したほうがいいね