欧几里得所著的《原本》大约成书于公元前300年,原书早已失传。全书共分13卷。书中包含了5个“假设(Postulates)”、5条“公设(Common Notions)”、23个定义(Definitions)和48个命题(Propositions)。在每一卷内容当中,欧几里得都采用了与前人完全不同的叙述方式,即先提出公理、公设和定义,然后再由简到繁地证明它们。这使得全书的论述更加紧凑和明快。而在整部书的内容安排上,也同样贯彻了他的这种独具匠心的安排。它由浅到深,从简至繁,先后论述了直边形、圆、比例论、相似形、数、立体几何以及穷竭法等内容。其中有关穷竭法的讨论,成为近代微积分思想的来源。照欧氏几何学的体系,所有的定理都是从一些确定的、不需证明而礴然为真的基本命题即公理演绎出来的。在这种演绎推理中,对定理的每个证明必须或者以公理为前提,或者以先前就已被证明了的定理为前提,最后做出结论。对后世产生了深远的影响。它标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科。