axioms造句
The
axioms adopted by Euelid mere supposed to be self - evident truths.
欧几里德用的公理都应看作是不证自明的真理.
Further on, we can specify an algebra that consists of
axioms for commutativity, distributivity, associativity, etc.
进一步的, 我们可以定义包含交换律 、 分配律 、 结合律等公理的代数.
The simplest of the substitute
axioms was suggested by him in 1969.
最简单的代替公理是在1969年由他提出的.
The theorems should be deduced from
axioms by purely logical arguments.
定理应该通过纯粹的逻辑的推导而从公理演绎得到.