4．4．小结
      我们给出了缸row社会福利函数的一阶公理系统，公式化A盯('w定理陈述的 结构。我们简化非平凡的条件为一阶陈述，例如普遍定义域和ⅡA。通过证明一个 引理，即简化不可能性为3个备选方案的情形，解决一个无穷备选方案量的问题。 证明了，如果在我们的语言中固定个体集的量，那么就可用我们的公理形式推演 Arrow不可能性定理，我们用一个间接的方法形式化一个可能无穷的主体集的数量。