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