布拉利-福尔蒂悖论

集合论此一数学领域里,布拉利-福尔蒂悖论断言,朴素建构“所有序数的集合”会导致矛盾,因此每个允许此一构造的系统都会显得自相矛盾。此一悖论是以切萨雷·布拉利-福尔蒂来命名的,他在1897年发现了此一悖论。

用冯·诺伊曼序数来陈述

编辑

由所有序数  所组成的集合带有序数的所有性质,所以此集合自身也必须被视为是一个序数。接下来,我们可以建构出此序数的后继序数 ,后者会严格大于前者。不过,这个后继序数也必然是  内的元素,因为  包括所有的序数,而因此:

  

更一般的陈述

编辑

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

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

悖论在 ZFC 中的解决

编辑

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

外部链接

编辑