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

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