Teilgebiet der Mathematik, das zusammen mit der mathematischen Logik die Grundlage der gesamten Mathematik darstellt. Die in der naiven Mengenlehre auftretenden Antinomien versucht man durch eine axiomatische Präzisierung in der axiomatischen Mengenlehre zu vermeiden.