Kiến thức và cách hiểu
Định lí là khẳng định được suy ra từ những khẳng định đúng đã biết. Giả thiết là điều được cho; kết luận là điều cần suy ra. Dạng “Nếu … thì …” giúp tách hai phần nhưng không thay cho việc kiểm tra đúng sai. Một ví dụ đúng không chứng minh được mệnh đề tổng quát.