existenční kvantifikátor

Noun

 * 1) existential quantifier