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

recursively enumerable theory מתח
.מָתֵי	рекурсивно перечислимая теория