Euclidean geometry
欧几里得几何的传统描述是一个公理系统，通过有限的公理来证明所有的真命题。