>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける

＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない