Arrow's impossibility theorem is a key result in social choice theory showing that no ranked-choice procedure for group decision-making can satisfy the requirements of rational choice. Specifically, Arrow showed no such rule can satisfy independence of irrelevant alternatives, the principle that a choice between two alternatives A and B should not depend on the quality of some third, unrelated option, C.
The result is often cited in discussions of voting rules, where it shows no ranked voting rule can eliminate the spoiler effect. This result was first shown by the Marquis de Condorcet, whose voting paradox showed the impossibility of logically-consistent majority rule; Arrow's theorem generalizes Condorcet's findings to include non-majoritarian rules like collective leadership or consensus decision-making.