quantifier
سور
first order language
زبان مرتبه اول
existential quantifier
سور وجودی