∀xに存在性はないと言っている