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

joint consistency theorem מתח
.מָתֵי	теорема о совместной непротиворечивости