증명관련 용어 정리 가설 어떤 부분적 증거나 휴리스틱한 논증, 또는 전문가의 직관에 근거하여 참이라고 주장되는 문장 증명 어떤 정리가 참이라는 것을 입증하는 유효한 논증 # 증명 과정에서 사용할 수 있는 것 참이라고 가정한 공리 증명하려는 정리의 전제들 이미 증명된 정리들 정리 그것이 참임을 보일 수 있는 하나의 진술 이전에 증명된 사실로, 증명 과정에서 새로운 진술의 진리값을 추론할 때 사용한다. 주장 상대적으로 덜 중요한 정리 보조정리 증명하는데 도움이 되는 약간 덜 중요한 정리 따름정리 증명된 정리로 부터 직접적으로 귀결될 수 있는 정리 "가설이 증명되면, 그 가설을 정리라 한다." 정리 증명 방법 수학적 정리들의 경우 전칭 기호를 생략하고 표현하는 경우가 많다. 정리는 다음과 같이 단계를 거쳐 증..