== Varianten == Das Auswahlaxiom ist in obiger Liste nicht enthalten. Durch Hinzunahme erhält man die Ackermann-Mengenlehre mit Auswahlaxiom, das er selbst in einer Formulierung mit Hilberts Auswahloperator hinzufügte. Ackermann formulierte in seiner Arbeit auch eine Variante seines Axiomensystems, die Urelemente berücksichtigt, sowie eine an d...