quantifier
سور
arithmetic (logic)
حساب (منطق)
bounded quantifier
سور کراندار