Mệnh đề trong toán học có thể là một khẳng định đơn giản hoặc một phần của một định lý phức tạp. Định lý là một mệnh đề đã được chứng minh và công nhận bởi cộng đồng toán học. Chúng là những mệnh đề mang tính chất cơ bản trong việc xây dựng lý thuyết to