Mệnh đề trong toán học là các câu khẳng định có thể được kiểm chứng là đúng hoặc sai. Một mệnh đề được gọi là đúng khi nó có thể được chứng minh bằng các lý thu