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. Đ