公理化思想

公理化思想是指以某些命题为前提，只用它们，不用其他假设进行推理而建立数学理论的思想。支撑近现代数学的基本思想。早在公元前 3 世纪，希腊数学家欧几里得用由反复实践所证实而被认为不需要证明的少数命题为前提，用逻辑推理的方法，将前人在几何方面的研究成果整理成《几何原本》，这些少数命题被称为公理或公设。