4.정의, 정리, 증명

(1)정의 : 용어의 뜻을 명확하게 정한 문장

(2)정리 : 이미 증명하여 옳다고 확인된 명제 중에서 기본이 되는 것

(3)증명 : 이미 알고 있는 옳은 사실이나 밝혀진 성질들을 근거로 하여 어떤 명제가 참임을 논리적으로 밝히는 것