欧几里德的《几何原本》,一开始欧几里德就劈头盖脸地给出了23个定义,5个公设,5个公理.其实他说的公社就是我们后来所说的公理,他的公理是一些计算和证明用到的方法（如公理1：等于同一个量的量相等,公理5：整体大于局部等）他给出的5个公设倒是和几何学非常紧密的,也就是后来我们教科书中的公理.分别是： 公设1：任意一点到另外任意一点可以画直线 公设2：一条有限线段可以继续延长 公设3：以任意点为心及任意的距离可以画圆 公设4：凡直角都彼此相等 公设5：同平面内一条直线和另外两条直线相交,若在某一侧的两个内角和小于二直角的和,则这二直线经无限延长后在这一侧相交.
5大公理