从几条公设推出几何大厦的欧几里得

约公元前300年，欧几里得在亚历山大里亚城教书。当时几何知识零散，他从五条最简单的公设出发，一步步推导出465个命题，编成十三卷《几何原本》。后来两千多年的几何课本，基本都照着这本书的样子写。