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

predicate calculus without identity מתח
.טֶכנו	исчисление предикатов без единицы
.מָתֵי	исчисление предикатов без равенства