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

soundness theorem מתח
.מָתֵי	теорема о семантической непротиворечивости; теорема о корректности (vitalinew)