>>357
>なぜ
>全ての集合に対しての論理式の列を許さず

?
全ての集合を範囲とする量化はできるよ
∀S:Set. S=S