Terms for subject Logic containing firsts

English	Russian
first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order sentence	высказывание логики первого порядка (ssn)
first-order sentence	предложение логики первого порядка (ssn)