As I mentioned before, proofs use axioms and theorems to make their case.
如前所述,证明以公理和定理做为其论据。
If a system is sound and its axioms are true then its theorems are also guaranteed to be true.
如果系统是健全和公理是真的那么它的定理也保证是真的。
From 10 axioms and postulates, Euclid deduced 465 theorems, or propositions, concerning aspects of plane and solid geometric figures.
欧几里德从10个公理和假设中演绎出465个公理或命题,涉及了平面与立体几何图形各方面。
应用推荐