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

доказуемая определимость מתח
.מָתֵי	provable definability