title: Provable
text: # 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
  