axioms例句
The
axioms adopted by Euelid mere supposed to be self - evident truths.
欧几里德用的公理都应看作是不证自明的真理.
The theorems should be deduced from
axioms by purely logical arguments.
定理应该通过纯粹的逻辑的推导而从公理演绎得到.
The simplest of the substitute
axioms was suggested by him in 1969.
最简单的代替公理是在1969年由他提出的.