정리란 참으로 증명된 명제입니다. 정리는 가정이나 추측에 의한 것이 아니라, 공리, 정의, 그리고 이전에 증명된 결과들로부터 논리적 연역을 통해 도출됩니다. 증명이야말로 정리를 신뢰할 수 있게 만드는 요소입니다.

피타고라스 정리, 미적분학의 기본 정리, 페르마의 마지막 정리와 같은 유명한 정리들이 있습니다. 어떤 정리는 간단하지만, 어떤 정리는 증명하는 데 수백 페이지가 걸리기도 합니다. 4색 정리는 컴퓨터의 도움을 받아 증명된 최초의 주요 정리입니다.

정리는 수학의 주요 결과입니다. 정리에는 이름이 붙여지고 번호가 매겨지며 참조됩니다. 하나의 정리에는 따름정리, 보조정리, 일반화가 있을 수 있습니다. 정리를 증명하는 과정은 수학 연구의 핵심입니다.

• 논리에 의해 참임이 입증된 명제
• 공리와 이전 결과로부터 도출된다
• 예시: 피타고라스 정리, 페르마의 마지막 정리
• 증거는 진실을 확립하는 것이다.