애로우의 불가능성 정리

1. 완비성과 이행성 : 모든 사회적 상태를 비교, 평가할 수 있어야 하며 a,b,c라는 세 사회적 상태에 대해 a를 b보다 더 선호하고 b를 c보다 더 선호한다면 a를 c보다 더 선호해야 한다.

2. 파레토원칙 : 이 사회의 모든 사람이 a를 b보다 더 선호하면 사회도 a를 b보다 더 선호해야 한다.

3. 비독재성 : 이 사회의 어느 한 구성원의 선호가 전체 사회의 선호를 좌우해서는 안 된다.

4. 제3의 선택가능성으로부터의 독립 : a와 b의 두 사회적 상태를 비교한다고 할 때, 이들과 직접 관련이 없는 제 3의 선택가능성 c의 존재는 이들 사이의 선호순위에 아무런 영향을 주지 말아야 한다.