quantified formula

[ریاضیات] فرمول مسور