>>949
F:任意の述語

∀xFx

このxに存在性はない