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

predicative proof מתח
.מָתֵי	предикатное доказательство