정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

수학에서 정리는 가정으로부터 증명명제를 말한다. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 것만을 일컫는다. 이런 의미에서의 정리를 증명하기 위해 사용되는 보조적인 명제를 보조정리(lemma)라 하고, 정리로부터 쉽게 도출되는 부가적인 명제를 따름정리(corollary)라 한다.