애로의 불가능성 정리

이 정리는 유권자들이 대안을 순위화한다고 가정한다.

투표 규칙은 이러한 개인별 순위를 하나의 사회적 순위로 결합하려고 한다.

애로는 어떤 규칙도 다음 조건들을 동시에 만족할 수 없음을 보였다.

비제한적 정의역: 논리적으로 가능한 모든 유권자 선호 순서를 허용한다.

파레토 효율성 / 만장일치: 모두가 B보다 A를 선호하면 사회도 B보다 A를 선호해야 한다.

무관한 대안으로부터의 독립성: A와 B 사이의 사회적 선택은 유권자들이 A와 B를 어떻게 순위 매기는지에만 의존해야 하며, 관련 없는 선택지 C에 좌우되어서는 안 된다.

비독재성: 어떤 한 명의 유권자도 집단 순위를 항상 결정해서는 안 된다.

집단적 합리성 / 추이성: 최종 사회 순위는 논리적으로 일관되어야 한다.

선택지가 세 개 이상이면 이 요구 사항들은 동시에 모두 충족될 수 없다.