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.
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.