정리
증명을 통해 참으로 밝혀진 명제를 ‘정리‘라고 한다. 수학의 지식체계에서는 새로운 정리를 증명할 때는 공리, 공준, 정의와 이미 알아낸 정리를 사용해야 한다. 이 순서를 뒤섞으면 순환논법의 오류가 발생한다.(25p)