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

provable statement מתח
.מָתֵי	доказуемое высказывание
.מכשיר	доказуемое утверждение