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

arithmetically definable set מתח
.מָתֵי	арифметически определимое множество