>>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何?