Định lí là một khẳng định được suy ra từ những khẳng định đúng đã biết.
Mỗi định lí thường được phát biểu dưới dạng:
Nếu …. thì…
- Phần giữa từ “ nếu” và từ “thì” thì giả thiết của định lí
- Phần sau từ “ thì” là kết luận của định lí.
Ví dụ: “ Nếu một đường thẳng cắt 2 đường thẳng song song thì 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau” là một định lí có:
+ Giả thiết: Một đường thẳng cắt 2 đường thẳng song song
+ Kết luận: 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau
