| 释义 |
theorem A mathematical statement established by means of a proof. A theorem is usually a result of more significance than a proposition. In logic, the term refers to any statement that can be derived from agreed axioms. For example, the axiom of choice is not a theorem of the ZF axioms.
|