 Theorem (Arrow 1951/1963): If \(|X| \gt 2\), there exists no preference aggregation rule satisfying universal domain, ordering, the weak Pareto principle, independence of irrelevant alternatives, and non-dictatorship.