> 此书有四不必，不必疑，不必揣， 不必试， 不必改。有四不可得，欲脱之不可得，欲驳 之不可得，欲减之不可得， 欲前后更置之不 可得 下学工夫，有理有事。此书为益。 能令学理 者怯其浮气，练其精心； 学事者资其定法， 发其巧思，故举世无一人不当学 一徐光启《几何原本杂议》 6
《原本》的公理化体系 第一卷：23个定义，5个公理，5个公设，48个命题 定义(definition) 1.点是没有部分的： 2.线只有长度而没有宽度 3.一线的两端是点； 4.直线是它上面的点一样放置着的线： 23.平行直线是在同一平面内的直线，向两个方向 无限延长，在不论哪个方向它们都不相交。 7
公设(postulate)一关于几何的假设 1.从任一点到任一点可作直线： 2.线段可以任意延长： 3.以任一点为中心，任一距离为半径可以 作一圆； 4.所有直角皆相等 5.若一直线与两直线相交，且如果同侧所 交两内角之和小于两直角，则两直线无限 延长后必相交与该侧的一点。 8
公理(axiom)一关于量的规定 1.等于同量的量彼此相等； 2.等量加等量，总量仍相等： 3.等量减等量，余量仍相等： 4.彼此重合的东西是相等的： 5.整体大于部分。 9
这些是永恒的真理吗？ “过直线外一点有且只有一条直线和已知直 线平行” “三角形的内角和等于1800”。 10