>>622
>たとえば各点連続は実数値のみに関する∀∃∀の形の量化だとか
>そういうことを言っているのに
これは実数論の言語を使ってもΠ3だ。

（集合論以外の）標準的な言語ではΣ2ともΠ2ともいえないような例を
>>562や>>580で挙げたからこんな問題になっているんだろ？

どさくさにまぎれて例をすりかえるなよ。