Định lý là một phát biểu đã được chứng minh là đúng. Nó không phải là giả định hay phỏng đoán; nó được suy ra từ các tiên đề, định nghĩa và các kết quả đã được chứng minh trước đó bằng phép suy luận logic. Chính bằng chứng chứng minh mới làm cho định lý đáng tin cậy.

Các định lý nổi tiếng bao gồm định lý Pitago, định lý cơ bản của giải tích và định lý cuối cùng của Fermat. Một số định lý rất đơn giản; số khác lại cần đến hàng trăm trang để chứng minh. Định lý bốn màu là định lý quan trọng đầu tiên được chứng minh với sự hỗ trợ của máy tính.

Định lý là những kết quả chính của toán học. Chúng được đặt tên, đánh số và trích dẫn. Một định lý có thể có các hệ quả, bổ đề và khái quát hóa. Quá trình chứng minh định lý là cốt lõi của nghiên cứu toán học.

• Tuyên bố này được chứng minh là đúng bằng logic.
• Điều này xuất phát từ các tiên đề và kết quả trước đó.
• Ví dụ: Định lý Pythagore, Định lý cuối cùng của Fermat
• Bằng chứng là thứ chứng minh sự thật.