Định lý là một câu khẳng định trong toán học hoặc một lĩnh vực khoa học nào đó, được chứng minh là đúng dựa trên các tiên đề, định nghĩa, và các định lý khác đã được chứng minh. Định lý thường được sử dụng để xây dựng lý thuyết, giải quyết bài toán, hoặc phát triển các ứng dụng.

Một định lý thường có ba phần chính:

1. **Giả thuyết**: Phần trình bày các điều kiện hoặc tiền đề mà từ đó định lý được xác lập.
2. **Kết luận**: Phần nêu ra điều sẽ được chứng minh là đúng dựa trên giả thuyết.
3. **Chứng minh**: Là phần trình bày các lý lẽ logic, suy luận và các bước cần thiết để chứng minh rằng nếu giả thuyết đúng, thì kết luận cũng đúng.

Ví dụ nổi tiếng nhất có thể kể đến là Định lý Pythagore trong hình học, nói rằng trong một tam giác vuông, bình phương của độ dài cạnh huyền bằng tổng bình phương của độ dài hai cạnh vuông.

Định lý không chỉ có trong toán học mà còn xuất hiện trong nhiều lĩnh vực khác, như vật lý, triết học, và khoa học máy tính. Chúng tạo thành nền tảng vững chắc cho sự phát triển của lý thuyết và ứng dụng trong từng lĩnh vực.