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

syntactical theorems מתח
.תִכנו	синтаксические теоремы (о системе ssn)
syntactical theorem
.מָתֵי	синтаксическая теорема