[existential quantifier] n (1940): a quantifier (as for some in "for some x, 2x +
5. 8") that asserts that there exists at least one value of a variable--called also existential operator
[existential quantifier] n (1940): a quantifier (as for some in "for some x, 2x +
5. 8") that asserts that there exists at least one value of a variable--called also existential operator
Merriam-Webster English vocab. Английский словарь Merriam Webster. 2012