정리

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

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