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 axi...
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.进一步的, 我们可以定义...