1. Định lí. Giả thiết, kết luận của định lí

Đị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: thì 2 góc so le trong bằng nhau, hai góc đồng vị bằng nhau

2. Chứng minh định lí

Chứng minh định lí là dùng lập luận để từ giả thiết và nhũng khẳng định đúng đã biết suy ra kết luận của định lí.