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