공리

요약 하나의 이론에서 증명 없이 바르다고 하는 명제, 즉 조건 없이 전제된 명제이다. 수학에서는 '이론의 기초로서 가정한 명제'를 그 이론의 공리라고 한다.

논리학에서는 무증명명제(無證明命題)라고도 한다. 수학에서의 공리는 유클리드의 《기하학원본》의 공준(公準) 및 공통개념에서 유래하며, 기하학을 수립해 가기 위한 전제조건으로 생각되는 것이다. 유클리드는 그의 ‘자명한 것이라고 생각되는 명제, 즉 증명을 요하지 않는 명확한 명제’ 중에서 기하학 특유의 명제를 공준, 보다 일반적인 것을 공리라고 하였다.

공리·공준을 각각 보통공리·요청(要請)이라고 일컬은 때도 있었으나, 뒷날 이들을 일괄해서 공리라고 규정지었다. 유클리드의 《기하학원본》에서는 이와 같은 공리와 정의만을 근거로 하여 논리적인 엄밀한 증명에 따라 기하학을 구성하였으며, 오랫동안 이것이 체계적인 학문의 전형처럼 생각되었다.

그러나 유클리드가 보여준 공리 중 '평행선의 공리'는 다른 어느 공리·공준보다도 표현이 길고 복잡해서 '자명한 이치'’라고 하는 데에 의문을 품게 하였다. 이 의문에서 비롯된 것이 비유클리드기하학이며, 이로 인해 수학자들에게 '공리'의 성격에 대한 반성의 기회를 주게 되어, 점차로 공리에서 '자명한 이치'라는 뜻이 약해지고, 단지 '이론의 기초로서 가정한 명제'를 그 이론의 공리라고 하게 되었다.

D.힐베르트는, 모든 이론은 엄밀한 공리적 방법으로 정립(定立)해야 한다는 생각을 발표하여 공리주의수학을 이끌어냈다. 현대의 수학은 모두 이 공리주의에 따라 수립되고 있다. 어떤 하나의 이론을 공리주의적 견지에서 정리하는 일을 공리화한다고 한다.