Provable
# Provable

Provability or provable (and disprovability or disprovable) may refer to:

* Provability logic, a modal logic
* Provable prime, an integer that has been calculated to be prime
* Provable security, computer system security that can be proved
* Provably correct, correctness of an algorithm that can be proved
* Provably total, function that can be proven to be computable
