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