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

singular predicate calculus מתח
.מָתֵי	сингулярное исчисление предикатов