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