以《几何原本》为代表的欧氏几何是古希腊文明的一个火车头，是古代数学公理化方法的一个辉煌成就。
Euclidean geometry is not only the leader of the civilization of ancient Greek but also the brilliant achievements of axiomatic approach in mathematics.
数学模型有别于其他模型的重要一点就是：数学通过定义公理来创造属于自己的世界。
Mathematical models differ in an important aspect from other models: mathematics create, by defining axioms, a universe of their own.
既然它是个公理，我们可以用它来解这个数学题目了。
Since it is an axiom, we can use it to solve this maths problem.
应用推荐