Mệnh đề là một câu khẳng định trong toán học có thể đúng hoặc sai. Nó thường được sử dụng để phát biểu các kết luận trong lý thuyết. Mệnh đề có thể có các dạng như mệnh đề đảo, mệnh đề tương đương, và được chứng minh qua các phương pháp logic.

Lịch sử toán học về tập hợp và các phép toán trong tập hợp có thể được tóm tắt qua một số mốc quan trọng. Tập hợp là một khái niệm cơ bản trong toán học, và sự phát triển của lý thuyết tập hợp đã có ảnh hưởng sâu rộng đến các lĩnh vực khác của toán học và khoa học máy tính.