主要内容

一开始欧几里德就开门见山地给出了23个定义，5个公设，5个公理。其实他说的公设就是我们后来所说的公理，他的公理是一些计算和证明用到的方法（如公理1：等于同一个量的量相等，公理5：整体大于局部等）他给出的5个公设倒是和几何学非常紧密的，也就是后来我们教科书中的公理。分别是：

公设1：任意一点到另外任意一点可以画直线

公设2：一条有限线段可以继续延长

公设3：以任意点为心及任意的距离可以画圆

公设4：凡直角都彼此相等

公设5：同平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于二直角的和，则这二直线经无限延长后在这一侧相交。