Kenneth Arrow发表并证明了著名的“不可能性定理”。Arrow用公理化方法和5个著名的公理证明了经济学上的效用函数是不存在的。这个定理给以后的经济学带来了极大的困难①。许多人试图否定Arrow的结论，但都没有成功⑦。笔者总结了前人的经验，并注意到Arrow汪明成立的关键，是以下两个原因：第一，是因为公理化方法有如下逻辑：如果“猜想命题”不与公理相悖，那么该“猜想”就有可能是对的；反之，如果“猜想”与公理相悖，那么该“猜想”就一定是错误的。第二，是因为“投票悖论”的问题。因为，“投票悖论”是由效用函数导出的。而“投票悖论”又与Arrow公理假设相矛盾。所以，效用函数在Arrow公理条件下不存在③。由此可见，在Arrow的证明中，“投票悖论”是一个非常重要的因素。但“投票悖论”是怎样产生出来的呢?它源自Arrow假设中的“传递性公理”，它的标准假设是“A优于B，B 优于C，那么一定A冼于C”。因此，“传递性”，是“不可能定理”不可或缺的因素；......