存在量化子