공리(公理, 영어: axiom)는 논리학이나 수학 등의 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이다. 증명할 필요가 없이 자명한 진리이자 다른 명제들을 증명하는 데 전제가 되는 원리로서 가장 기본적인 가정을 가리킨다. 지식이 참된 것이 되기 위해서는 근거가 필요하나 근거를 소급해 보면 더 이상 증명하기가 곤란한 명제에 다다른다. 이것이 바로 공리이다. 참고로 증명이 필요한 명제 중 증명이 완료된 명제를 정리라고 한다.
https://ko.wikipedia.org/wiki/%EA%B3%B5%EB%A6%AC
공리 - 위키백과, 우리 모두의 백과사전
위키백과, 우리 모두의 백과사전. 싱가포르의 여자 배우에 대해서는 궁리 문서를 참고하십시오. 공리(公理, 영어: axiom)는 논리학이나 수학 등의 이론체계에서 가장 기초적인 근거가 되는 명제(
ko.wikipedia.org