自分が持ち出した例ではちゃんとギャップを示してますよね？
　命題「∀y. ∃x. x≦y」　と　定理「箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はあります。」の間にギャップがある。

なんで箱入り無数目のギャップは示さないのでしょう？