Die Aussage, dass für jede Familie nichtleerer Mengen eine Funktion (Wahlfunktion) existiert, die aus jeder Menge der Familie ein Element auswählt, also die Existenz einer gleichzeitigen Auswahl behauptet, selbst wenn keine explizite Regel angegeben ist.

Prinzip

Existenz vor Konstruktivität: Die ordnende Idee ist, dass man die Existenz globaler Auswahlfunktionen behaupten kann, ohne eine konstruktive oder definierbare Prozedur anzugeben; so lässt sich lokale Nichtleerheit in eine globale Repräsentation überführen.

Demonstration

Betrachte eine indizierte Familie nichtleerer Zweielementmengen {A_i : i ∈ I} mit I unendlich (möglicherweise überabzählbar). Das Auswahlaxiom sichert eine Funktion f mit f(i) ∈ A_i für alle i, sodass das kartesische Produkt ∏_{i∈I} A_i nichtleer ist, auch wenn kein einheitlicher Algorithmus die Koordinaten liefert.

Fehlanwendung

Es als konstruktiven Algorithmus auffassen: anzunehmen, weil eine Wahlfunktion existiert, könne man sie für beliebige Familien berechnen oder explizit beschreiben; oder es dort anwenden, wo einige A_i leer sind.

Konsequenz

Ermöglicht zahlreiche globale Existenzresultate: Jeder Vektorraum besitzt eine Basis, Zorns Lemma und das Wohlordnungssatz sind äquivalent beweisbar, und bestimmte Produkte nichtleerer Mengen sind garantiert nichtleer; es kann auch nichtkonstruktive Objekte wie nicht messbare Mengen nach sich ziehen.

Umkehrung

Die Verneinung des Axioms liefert Modelle der Mengentheorie, in denen Familien nichtleerer Mengen keine globale Wahlfunktion besitzen, wodurch einige klassische Existenzfolgen versagen (z. B. Vektorräume ohne Basis in solchen Modellen).

Abgrenzung

Gilt innerhalb der Zermelo–Fraenkel-artigen Mengentheorie als globales Existenzprinzip; es liefert keine Definierbarkeit oder Berechenbarkeit und keine kanonische Auswahlregel und wird in streng konstruktiven oder berechenbaren Rahmen in der Regel nicht akzeptiert, es sei denn, es wird konstruktiv ergänzt.

Semantische Spannung

Spannung zwischen dem Axiom und konstruktiven/effektiven Wahlbegriffen: 'Existenz einer Wahlfunktion' versus 'Existenz einer expliziten, definierbaren Regel' — viele äquivalente Aussagen sind klassisch plausibel, konstruktiv jedoch problematisch.

Synthese

Das Auswahlaxiom ist ein nichtkonstruktives Existenzprinzip, das lokale Nichtleere in eine garantierte globale Auswahl über beliebige Familien von Mengen verwandelt und mächtige Existenzsätze liefert, zugleich aber Spannungen mit Konstruktions- und Definierbarkeitsanforderungen erzeugt.