математика логика первого порядка
The language describing the truth of mathematical formulas. Formulas describe properties of terms and have a truth value. In first-order logic quantifiers always range over ALL the elements of the domain of discourse. By contrast, second-order logic allows one to quantify over subsets.