Ein formales Resultat der Wohlfahrts- bzw. Sozialwahltheorie, das besagt, dass keine deterministische Rangordnungs‑Aggregationsregel (Wahlsystem), die vollständige individuelle Präferenzordnungen in eine kollektive Rangfolge überführt, gleichzeitig eine Standardmenge von Fairnessaxiomen — uneingeschränkter Bereich, Pareto‑Unanimität, Unabhängigkeit irrelevanter Alternativen und Nicht‑Diktatur — erfüllen kann, wenn mindestens drei Alternativen vorhanden sind.

Prinzip

Jede Rangordnungsaggregation für drei oder mehr Alternativen muss mindestens eines der genannten Axiome verletzen; der Satz erzwingt explizite Abwägungen zwischen Fairnesskriterien bei der Konstruktion von Abstimmungsverfahren.

Demonstration

Illustratives Szenario: Situation: drei Wähler ordnen die Kandidaten A, B und C so, dass paarweise Mehrheiten zyklisch sind (A über B, B über C, C über A). Erkennung: Die Anwendung einer Rangordnungsregel, die paarweise Präferenzen und Unabhängigkeit respektiert, führt zu zyklischen kollektiven Präferenzen. Handlung: Designer müssen ein Axiom aufgeben oder abschwächen (z. B. den Präferenzbereich einschränken oder Unabhängigkeit lockern). Folge: Kein Wahlsystem kann unter diesen Axiomen für alle Präferenzprofile mit drei oder mehr Optionen vollständig gerecht sein.

Fehlanwendung

Schlussfolgern, dass demokratische Entscheidungsfindung unmöglich oder bedeutungslos sei. Der Fehler besteht darin, eine formale Unmöglichkeit zwischen idealisierten Axiomen mit der praktischen Nützlichkeit von Wahlsystemen zu verwechseln; der Satz weist notwendige Zielkonflikte nach, bedeutet aber nicht, dass Abstimmungsregeln in der Praxis unbrauchbar sind.

Konsequenz

Der Satz zwingt Gestalter dazu, zu priorisieren, welche Axiome erfüllt werden sollen, motiviert Bereichsbeschränkungen (z. B. single‑peaked Präferenzen), regt die Nutzung kardinaler Maße oder randomisierter Verfahren an und erklärt, warum verschiedene Wahlsysteme unterschiedliche normative Ergebnisse liefern.

Umkehrung

Wenn der Präferenzbereich eingeschränkt ist (etwa auf single‑peaked Präferenzen) oder die Aggregation kardinale Nutzen, Zufallselemente oder begrenzte Strategiemengen zulässt, können Aggregationsregeln mehr Fairnesskriterien erfüllen; die Unmöglichkeit gilt nur unter den spezifizierten Annahmen des Theorems.

Abgrenzung

Klar innerhalb: deterministische Sozialwahlfunktionen, die vollständige Präferenzordnungen über drei oder mehr Alternativen unter den genannten Axiomen aggregieren. Randfall: Verfahren, die unvollständige Präferenzen zulassen oder den Bereich einschränken. Klar außerhalb: Entscheidungsverfahren, die kardinale Nutzenaggregation, zufällige Auswahl oder partielle Ordnungen nutzen, welche von den Annahmen des Theorems nicht erfasst werden.

Semantische Spannung

Mehrheitskonsistenz ↔ Unabhängigkeit irrelevanter Alternativen — die Durchsetzung von Unabhängigkeit kann mit der Erzeugung transitiver Mehrheitsordnungen kollidieren, sodass Axiome abzuwägen sind.

Synthese

Arrows Ergebnis ist keine Ablehnung kollektiver Wahl, sondern eine formale Landkarte unvermeidbarer Zielkonflikte: Jedes praktische Wahlsystem muss offenlegen, welches Axiom es aufgibt oder welche Beschränkungen es voraussetzt.