«existential quantifier»

Большой англо-русский и русско-английский словарь Англо-русский словарь технических терминов