えーっと。
>>78さんは
∀x∃y(p(x,y))より∃y∀x(p(x,y))の方が強いってこと
(前者のyはxにdependしてもよく、後者のyはxとはindependent)と
集合列の極限について、勉強したほうがいいってことでFA？