存在量化子
記事はありません。