위키백과 ― 우리 모두의 백과사전.
수학에서 정리는 가정로부터 증명할 수 있는 명제(proposition)를 말한다. 그리고 명제는 증명된 수학적 사실을 가르킨다.
즉,
- 정리(theorem)는 중요한 명제를 일컫는다.
- 따름정리(corollary)란 정리(theorem)로부터 쉽게 도출되는 부가적인 명제를 일컫는다. 달리 말하면, 다른 정리를 증명하는데 쓰이는 명제.
- 보조정리(lemma)란 주요한 정리(theorem)를 증명하기 위하여 사용되는 보조적인 명제를 일컫는다.