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

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