공리와 정리의 정의
📂집합론공리와 정리의 정의
정의
증명이 필요없다고 여겨지는 명제를 공리axiom이라 하고, 증명된 명제를 정리theorem라 한다.
설명
정리를 위해 필요한 정리를 타고 올라가다보면 더 이상은 무언가를 근거로 증명할 수 없는 명제에 도달하게 되는데, 그게 바로 공리다.
참고로 공준postulate은 ‘특정 분야에서 쓰이는 공리’와 비슷한 말이고, 실제로도 기하학에서 유클리드 공리계 혹은 버코프 공리계 등에서 등장하기는 하지만, 본질적인 의미 상 공리와 구분되지는 않는다.
같이보기
