“可证明的”常见的英文表达是 provable。例如：This theorem is provable.（这个定理是可证明的。 ）
此外，在特定语境中，也可以用 demonstrable 表示“可证明的；可展示的” ，强调能通过证据、演示等方式来证明。如：The new method is demonstrable in practice.（这种新方法在实践中是可证明有效的。 ）