SOUNDNESS THEOREM Англо-русский перевод SOUNDNESS THEOREM мат. теорема о семантической непротиворечивости Big English-Russian dictionary . Большой Англо-Русский словарь. 2012