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

implicitly definable formula מתח
.מָתֵי	неявно определимая формула