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

logical provability מתח
.מַדָע	логическая доказуемость (I. Havkin)