formally provable

Мат. формально доказуемый

Источник: Полный англо-русский словарь на Gufo.me