provable statement

Translations
énoncé démontrable