到欧几里得写了《几何原本》。几何原本对于几何学、数学和科学的未来发展，对于西方人的整个思维方法都有极大的影响。《几何原本》的主要对象是几何学，但它还处理了数论、无理数理论等其他课题，例如着名的欧几里得引理和求最大公因数的欧几里得算法。几何原本也说明完全数和梅森质数的关系（欧几里得-欧拉定理）、质数有无限多个（欧几里得定理）、有关因式分解的欧几里得引理（导出了算术基本定理及整数分解的唯一性）等。欧几里得使用了公理化的方法。公理（Axioms）就是确定的、不需证明的基本命题，一切定理都由此演绎而出。在这