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

predicate calculus with generalization מתח
.מָתֵי	исчисление предикатов с обобщением