Abstract: Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.

• 摘 要: 欧几里得几何是第一个公理化体系，非欧几何的出现促使人们对它的基础作了严格审视，其中希尔伯特公理化方法最为成功；