Англійська ⇄ Німецька Російська +

soundness theorem наголоси
мат.	теорема о семантической непротиворечивости; теорема о корректности (vitalinew)