기본사항 정의 공리 (axiom) 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참으로 이용되는 명제 ex) (1) 두 점이 주어졌을 때, 두 점을 통과하는 직선을 그릴 수 있다. (유클리드 기하학) (2) 어떤 자연수도, 그 수의 다음 수가 존재한다. (페아노의 공리) (3) 어떤 것도 포함하지 않는 집합이 존재한다. (공리적 집합론) 증명 (proof) 특정한 공리들을 가정하고, 그 가정하에 제안된 명제가 참임을 입증하는 작업 정리 (theorem) 공리로부터 증명된 명제 보조정리 (lemma) : 정리를 증명하는 과정 중에 사용되는 증명된 명제 따름정리 (corollary) : 정리로부터 쉽게 도출되는 부가적인 명제 증명방법 직접 증명법 : 공리와 정의..
