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.
進一步的, 我們可以定義包含交換律 、 分配律 、 結(jié)合律等公理的代數(shù).

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