정리
다른 표기 언어 theorem , 定理요약 수학과 논리학에서 증명된 명제나 진술을 일컫는 말.
기하학에서 명제는 보통 '만들어진 구성물'로서의 문제와 '증명된 진술'로서의 정리로 분류된다. 예를 들어 '만일 두 직선이 교차한다면 각각의 맞꼭지각은 같다'와 같은 진술은 정리이다. 이른바 대수의 기본정리에 의하면 모든 유리수 방정식은 최소한 1개의 해를 갖고 있다. 그리스인들은 정리와 문제 사이에 또다른 1종류의 명제, 즉 제기된 어떤 것을 찾거나 산출하는 것을 지향하는 부정설제가 있다는 사실도 알고 있었다.→ 공리