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

provability relation מתח
.תִכנו	отношение доказуемости (ssn)