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

validity theorem מתח
.מָתֵי	теорема истинности