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.
定理应该通过纯粹的逻辑的推导而从公理演绎得到.

• #axioms