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

monadic predicate calculus מתח
.מָתֵי	исчисление одноместных предикатов