构建线的操作流程大致是这样的

参考文献

http://aleph0.clarku.edu/~djoyce/java/elements/bookI/bookI.html#defs

Def 1: 定义点

Def 3: 线至少有两点

Def 4: 整个线是由点组成的

...

Postulate 1: 两点一线

Postulate 2: 直线可任意延伸

...

应该还有别的解释方法吧，但线是点铺成的应该不会错。

注意这些都是给定的，即不用证明的。

感谢讨论，把以前漏的补了一下。幸好还没叫做几何证明：）