The axioms adopted by Euelid mere supposed to be self-evident truths.
里德用的公理都应看作是不证自明的真理。
youdao
应用推荐
模块上移
模块下移
不移动