adj.可以证明的，能证实的

All mathematical theorems must be provable by a logical argument.
所有的数学定理都必须能通过逻辑推理证明。
The law of gravity is a universally provable scientific principle.
万有引力定律是一个普遍可证的科学原理。
A statement is considered provable if it can be deduced from accepted axioms.
如果一个陈述可以从公认的公理中推导出来，那么它就是可证明的。
Gödel's Incompleteness Theorem shows that some mathematical statements are unprovable within a given system.
丘奇-图灵不完全性定理表明，有些数学陈述在一个给定系统内是不可证明的。
In formal logic, a tautology is a provable statement that is true under all possible truth assignments.
在形式逻辑中，自明命题是在所有可能的真值赋值下都能被证明为真的陈述。
Euclid's Fifth Postulate is an example of a theorem that was once thought to be unprovable but later proven by non-Euclidean geometry.
欧几里得第五公设曾被认为是无法证明的，但后来非欧几何证明了它是可以的。
The Riemann Hypothesis, one of the most famous unsolved problems in mathematics, is still unproven.
黎曼猜想，数学中最著名的未解问题之一，至今仍未得到证明。
A mathematical proof is a sequence of steps, each of which is itself provable, leading to the conclusion.
数学证明是一系列步骤，每一步都是可证明的，最终得出结论。
The Pythagorean Theorem, a3 + b3 = c3 for right triangles, was proven by ancient Greeks.
毕达哥拉斯定理（直角三角形的边长关系）是由古希腊人证明的。
In computer science, the halting problem is an example of a decision problem that is provably undecidable.
计算机科学中的停机问题是一个已知不可决定的问题，即证明某个程序是否会终止是无法做到的。