Akademik

formally provable

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

Универсальный англо-русский словарь. Академик.ру. 2011.