4、彼此重合的东西彼此相等。
5、整体大于部分。
公理完了就是命题。
读到最后这一部分的时候，尽管姜子淳早都已经有了心理准备，但是当她看到第一个命题的证明部分，还是有那么一丢丢无语。
她脱口而出：“这还需要证？而且居然还能这么证？”
只见命题一写道：一条直线不可能一部分在平面内，而另外一部分在平面外。（至少有两个点在平面内）
“假设可以，那么可以很自然的推出和公设一相违背的结论，所以假设自然错误，从而证明原命题正确？
这个，好像也都道理啊！
嗯大师将这种方法称为反证法。倒也贴切！”
命题二：两条相交直线，在一个平面内，那么它们所构成的三角形也在同一个平面。
命题三讨论的是圆相交的问题。
内容未完，下一页继续阅读