가라멜의 달달한 세상 탐방

공리 : 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정, 별도의 증명 없이 참으로 이용되는 명제

정리 : 공리로부터 증명된 명제

  - 보조정리 : 정리를 증명한느 과정 중에 사용되는 증명된 명제

증명방법 

  1) 직접 증명법 : 공리와 정의,그리고 정리를 논리적으로 직접 연결하여 증명

  2) 수학적 귀납법 : 기본단계, 귀납과정, 귀납단계를 이용해 자연수 n에 대한 명제의 성질을 증명하는데 유용

  3) 간접 증명법 : :증명해야 할 명제를 증명하기 쉬운 형태로 변형하여 증명하는 방법