他课题，例如着名的欧几里得引理和求最大公因数的欧几里得算法。几何原本也说明完全数和梅森质数的关系（欧几里得-欧拉定理）、质数有无限多个（欧几里得定理）、有关因式分解的欧几里得引理（导出了算术基本定理及整数分解的唯一性）等。欧几里得使用了公理化的方法。公理（Axioms）就是确定的、不需证明的基本命题，一切定理都由此演绎而出。在这种演绎推理中，每个证明必须以公理为前提，或者以被证明了的定理为前提。这一方法后来成了建立任何知识体系的典范，在差不多二千年间，被奉为必须遵守的严密思维的范例。《几何原本》是古希腊