증명의 이해

증명

하나의 명제가 참임을 확인하는 과정

공리

별도의 증명 없이도 항상 참이라고 판단되는 명제

정의

개념이나 기호의 의미를 확실하게 규정한 문장이나 식

정리

공리와 정의를 통해 참으로 확인된 명제

간접 증명법

두 홀수 m과 n의 곱이 홀수임을 증명