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

constructively nonrecursive set מתח
.מָתֵי	конструктивно нерекурсивное множество