Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Arrow's Impossibility Theorem

Game Theory

No voting rule for combining three or more ranked options into a single group ranking can simultaneously satisfy a short list of intuitively reasonable fairness conditions, unless it is a dictatorship. Proved by Kenneth Arrow, it is a foundational and pessimistic result of social choice theory.

Facts
Statement
No voting method that turns three or more ranked options into a single group ranking can satisfy a short list of intuitively reasonable fairness conditions unless the method is a dictatorship, meaning the group ranking always matches one fixed voter's own ranking. The theorem is stated over ordinal preferences rather than intensities of preference. 1
Proof Year
1950 1
Classification
Statement Form
Impossibility Theorem 1
Connections

Has Statement Form

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Sources
1. Arrow's Impossibility Theorem (Wikipedia)
Wikimedia Foundation
  • Lead section, statement of the theorem
    It shows that no group decision-making procedure based on ordinal utilities (citizens' orderings of different alternatives) can satisfy the requirements of rational choice.
  • Background section, on the 1950 proof
    When Kenneth Arrow proved his theorem in 1950, it inaugurated the modern field of social choice theory, a branch of welfare economics studying mechanisms to aggregate preferences and beliefs across a society.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.