Die Mengenlehre ist ein grundlegender Zweig der Mathematik, der sich mit der Untersuchung von Mengen, d.h. der Untersuchung von Zusammenfassungen von Objekten, befasst. Die gesamte Mathematik, wie sie heute allgemein gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf den Axiomen der Mengenlehre auf.