공리화는 일종의 수학적 방법이다. 그것은 2000 여 년 전의 유클리드 기하학에 처음 나타났다. 당시' 공리' (예: 두 점 사이의 연결) 는 자명한 원리로 증명될 필요가 없었고, 다른 소위' 정리' (예: 두 삼각형에 세 개의 대응 모서리가 있는 합동) 는 공리로 증명해야 한다고 생각했다. 기원 18 세기에 독일 철학자 칸트는 유클리드 기하학 공리가 타고난 선험적 지식이라고 생각했다. 56438.666666661
공리화 방법 발전의 첫 번째 단계는 아리스토텔레스의 완전한 3 단론에서 유클리드의' 기하학 원본' 의 출현에 이르는 것이다. 기원전 3 세기에 그리스 철학자, 논리학자 아리스토텔레스는 기하학과 논리학의 풍부한 자료를 총결하고, 3 단론을 체계적으로 연구하고, 수학과 기타 연역학과를 예로 들어 다른 모든 삼단론을 추론하여 전체 삼단론 체계를 공리화 체계로 만들었다. 그래서 아리스토텔레스는 역사적으로 제안했다.
아리스토텔레스의 사고방식은 당시 그리스 수학자 유클리드에 깊은 영향을 미쳤다. 유클리드는 형식 논리의 공리화 연역법을 기하학에 적용함으로써 수학사에서 중요한 저서' 기하학 원본' 을 완성했다. 그는 고대 측지학과 기하학에 대한 원시 직관에서 추상적 분석을 통해 일련의 기본 개념과 공리를 추출해 냈다. 그는 10 의 기본 명제를 총결하여 5 개의 공설과 5 개의 공리를 포함한 후, 이를 연역법으로 당시 알려진 모든 기하학 지식을 추론하여 하나의 연역시스템으로 정리했다. 기하학 원본' 이라는 책은 아리스토텔레스가 초보적으로 요약한 공리화 방법을 수학에 적용해 그리스 고전 시대의 수학 지식을 대량으로 정리, 총결 및 발전시켜 수학 발전사에 불후의 기념비를 세웠다.