存在量化