noun Date: 1936 a quantifier (as for some in “for some x, 2 x + 5 = 8”) that asserts that there exists at least one value of a variable
EXISTENTIAL QUANTIFIER
Meaning of EXISTENTIAL QUANTIFIER in English
Merriam Webster. Explanatory English dictionary Merriam Webster. Толковый словарь английского языка Мерриам-Уэбстер. 2012