공리(公理)는 참인 것으로 가정된 명제를 뜻한다. 이것은 보통 다른 명제들을 증명하는 기본적 사실로 사용된다. 유클리드는 '아주 명백하다고 생각되는 명제들' 중 기하학에서 특유한 것을 공준, 그보다 더 일반적인 것을 '공리'라고 불렀다.
분류: 수학 | 논리학