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