Burali-Forti悖论

在数学领域集合论中，Burali-Forti 悖论证实了“所有序数的集合”的朴素构造导致矛盾，所以展示了在允许这个构造的系统的中一个自相矛盾。

[编辑] 用冯·诺伊曼序数来陈述

理由是所有序数 的集合带有序数的所有性质而其自身必须被当作一个序数。那么我们可以构造它的后继者 ，它严格的大于 。但是，这个序数必定是 的一个元素，因为 包含所有序数，而我们达成了

。

[编辑] 更一般的陈述

上述悖论版本是有时代错误的，因为它假定了冯·诺伊曼的序数定义，在他的定义下序数是所有前面序数的集合，在 Burali-Forti 提出这个悖论的时候还没有这种定义。下面是有更少假定的版本: 假设在未指定方式下对每个良序排序关联上叫做它的“序类型”的一个对象(序类型是序数)。“序类型”(序数)自身是在自然方式下良序的，而这个良序排序必定有一个序类型 。容易证实在朴素集合论(在 ZFC 中仍是真的而在新基础中不是)中，所有小于一个固定的 的序数的序类型是 自身。所以小于 的所有序数的序类型是 自身。但是这意味着作为序数的真初始片段的序类型 ，严格的小于所有序数的序类型，但是按照定义后者就是 自身。这是荒谬的!

注意如果我们使用冯·诺伊曼的序数定义，在其中每个序数等同为所有前面序数的集合，则这个悖论是不可避免的: 小于一个固定的 的所有序数的序类型是 自身必定为真。冯·诺伊曼序数的搜集，像在罗素悖论中的搜集一样，不能是使用经典逻辑的集合论的一个集合。但是在新基础中序类型的搜集(定义为所有良序排序在类似性下的等价类)实际上是个集合，这个悖论被避免是因为小于 的所有序数的序类型变成不是 。

[编辑] 悖论在 ZFC 中的解决

现代公理化集合论通过简单的不允许用无限制的概括公理集合构造来绕过这个悖论，而在弗雷格的公理系统中允许构造“有性质 P 的所有集合”。在新基础中有一个非常不同的解决。

[编辑] 历史

Burali-Forti 悖论命名以 Cesare Burali-Forti，他在 1897年发现了它。