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.