主题：人间游戏 -- 玉垒关2

1951年肯尼斯·约瑟夫·阿罗（KennethJ．Arrow）在他的经济学经典著作的《社会选择与个人价值》一书中，采用数学的公理化方法对通行的投票选举方式能否保证产生出合乎大多数人意愿的领导者或者说“将每个个体表达的先后次序综合成整个群体的偏好次序”进行了研究。结果，他得出了一个惊人的结论：绝大多数情况下是——不可能的！更准确的表达则是：当至少有三名候选人和两位选民时，不存在满足阿罗公理的选举规则。或者也可以说是：随着候选人和选民的增加，“程序民主”必将越来越远离“实质民主”。

这后来被称为：阿罗不可能定理（Arrow's impossibility theorem），它的证明并不难，但是需要严格的数学逻辑思维。