SOUNDNESS THEOREM Англо-русский перевод SOUNDNESS THEOREM мат. теорема о семантической непротиворечивости New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011