怎么样由阿罗的不可能性定理推出各种类型的福利函数。当你放弃他的其中个人偏好的传递性时？