אנגלית ⇄ רוסית +

first-order logic-based formalism מתח
.הִגָי	формализм логики первого порядка (quantifiers Alex_Odeychuk)