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

hyperarithmetical predicate מתח
.מָתֵי	гиперарифметический предикат