이산수학

어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정별도의 증명 없이 참으로 이용되는 명제공리로부터 증명된 명제1.보조정리 / Lemma : 정리를 증명하는 과정 중에 사용되는 증명된 명제2. 따름정리 / Corollary : 정리로부터 쉽게 도출되는