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

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