eine zur Cantorschen und zur axiomatischen Mengenlehre alternative Mengenlehre, die sich an den Bedürfnissen der Nichtstandardanalysis orientiert. Sie beruht auf dem Extensionalitätsaxiom, dem Axiom der leeren Menge und dem Mengennachfolgeraxiom, die man auch als analytische Axiome bezeichnet, sowie auf dem Induktionsaxiom, das man auch als ein hypothetisches Axiom bezeichnet.