1. Khái niệm định lí
Một tính chất được khẳng định là đúng bằng suy luận được gọi là định lí.
Định lí thường phát biểu dưới dạng: ” Nếu A thì B” với A là giả thiết, là điều kiện cho biết, B là kết luận, là điều được suy ra.
Ví dụ: Định lý talet trong tam giác: Nếu một đường thẳng song song với một cạnh của tam giác và cắt hai cạnh còn lại thì nó định ra trên hai cạnh ấy những đoạn thẳng tương ứng tỉ lệ
2. Chứng minh định lí
Chứng minh định lí là dùng suy luận để khẳng định kết luận (được suy ra từ giả thiết) là đúng.