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án học. Một ví dụ điển hình là định lý Pythagoras trong hình học, một định lý cơ bản được chứng minh là đúng trong mọi trường hợp của tam giác vuông.Trò chơi bắn cá là một