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ý thuyết, định lý hoặc các phương pháp toán học đã được công nhận. Ngược lại, một mệnh đề là sai n