existential quantified variable

... 存在量化 existential quantification 存在量化变数 existential quantified variable 存在量词 existential quantifier ...