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

arithmetically provable formula מתח
.מָתֵי	арифметически доказуемая формула