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

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