공리 : 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정, 별도의 증명 없이 참으로 이용되는 명제 정리 : 공리로부터 증명된 명제 - 보조정리 : 정리를 증명한느 과정 중에 사용되는 증명된 명제 증명방법 1) 직접 증명법 : 공리와 정의,그리고 정리를 논리적으로 직접 연결하여 증명 2) 수학적 귀납법 : 기본단계, 귀납과정, 귀납단계를 이용해 자연수 n에 대한 명제의 성질을 증명하는데 유용 3) 간접 증명법 : :증명해야 할 명제를 증명하기 쉬운 형태로 변형하여 증명하는 방법