>>902
>どこにギャップがあるの？
「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある
って日本語が読めないようだね。小学校の国語からやり直し