Das
Auswahlaxiom ist ein
Axiom der
Zermelo-Fraenkel-Mengenlehre. Es wurde erstmals von
Ernst Zermelo 1904 formuliert. Das Auswahlaxiom besagt, dass zu jeder Menge von nichtleeren Mengen eine
Auswahlfunktion existiert, nämlich eine
Funktion, die jeder dieser nichtleeren Mengen ein Element derselben zuordnet und somit „auswählt“. Für endliche Mengen kann man das auch ohne dieses Axiom folgern, daher ist das Auswahlaxiom nur für unendliche Mengen interessant.