FORMALLY PROVABLE Англо-русский перевод FORMALLY PROVABLE мат. формально доказуемый Big English-Russian dictionary . Большой Англо-Русский словарь. 2012