| 释义 |
n. proposition,formula,deduction,statement,proposal 1. | （尤指数学）定理a rule or principle, especially in mathematics, that can be proved to be true |
n. | 1. a proposition or formula in mathematics or logic that is provable from a set of axioms and basic assumptions 2. an idea that is accepted or proposed as true 3. a statement, especially in mathematics, that can be proved to be true by reasoning |
|