Back স্বতঃসিদ্ধমূলক সেট তত্ত্ব Bengali/Bangla Axiomatická teorie množin Czech Damcaniaeth setiau wirebol Welsh نظریه اصل موضوعی مجموعهها Persian Aksiomaattinen joukko-oppi Finnish תורת הקבוצות האקסיומטית HE Axiomatikus halmazelmélet Hungarian Teoria assiomatica degli insiemi Italian 公理的集合論 Japanese Axiomatische verzamelingenleer Dutch
Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). Die älteste Axiomatisierung stammt von Georg Cantor, dem Gründer der Mengenlehre.