>>651
理解してるのかどうか怪しいが、
後者は、すべてのxについて共通のyを選ばないといけないことに注意しよう。
さっきの例で言えば、前者はx=10ならy=11,x=100ならy=101などとすればよい。
後者は、一度y=100と選んだら、それに対して
「全てのxについてx<100」がいえないといけない。
どのようにyを選んでも、これは無理。