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

arithmetical hierarchy theorem מתח
.מָתֵי	теорема об арифметической иерархии