formally provable

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