формально доказуемый Мат. formally provable Источник: Полный русско-английский словарь на Gufo.me Предложить изменения формально выводимый формально интегрируемый