公理化思想

后人在研究《几何原本》中的公理的过程中，特别是在非欧几何的创立过程中，从把公理当作“自明的”想法，逐渐改变为把公理作为“一个理论的前提”。这一转变意味着公理化思想的形成。20 世纪初，德国数学家希尔伯特首先用现代公理化思想建立了一套严格的欧氏几何公理系统。20 世纪 60 年代以来，许多数学家主张在中学数学中介绍公理化思想，并在一些新编教材中有所体现。中国也在中学几何教材中渗透公理化思想。