>>68

そうそう。
結局>>1は
「∀p,「∃a,∃b,s.t.式⑤が成立する」」
と
「∃a,∃b,「∀p ,s.t.式⑤が成立する」」
の区別がついてないんだよね。