따름정리

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

수학에서, 명제정리따름 정리(-定理, 영어: corollary) 또는 (系)는 그 명제나 정리에서 바로 유도되는 명제이다. 따름 정리의 선언은 보통 그를 유도하는 명제나 정리의 선언을 뒤따른다. 따름 정리 여부는 보통 주관적이다.