Provable Proof (disambiguation) Proof theory Provability logic Provable prime Provable security Provably correct Provably total Recursively enumerable set