Can you summarize the following document?
        
  由所有序數formula_1 所組成的集合帶有序數的所有性質,所以此集合自身也必須被視為是一個序數。接下來,我們可以建構出此序數的後繼序數formula_2,後者會嚴格大於前者。不過,這個後繼序數也必然是formula_1 內的元素,因為formula_1 包括所有的序數,而因此:

  上述悖論版本是有時代錯誤的,因為它假定了馮·諾伊曼的序數定義,在他的定義下序數是所有前面序數的集合,在 Burali-Forti 提出這個悖論的時候還沒有這種定義。下面是有更少假定的版本: 假設在未指定方式下對每個良序排序關聯上叫做它的“序型別”的一個物件(序型別是序數)。“序型別”(序數)自身是在自然方式下良序的,而這個良序排序必定有一個序型別 formula_7。容易證實在樸素集合論(在 ZFC 中仍是真的而在新基礎中不是)中,所有小於一個固定的 formula_8 的序數的序型別是 formula_8 自身。所以小於 formula_7 的所有序數的序型別是 formula_7 自身。但是這意味著作為序數的真初始片段的序型別 formula_7,嚴格的小於所有序數的序型別,但是按照定義後者就是 formula_7 自身。這是荒謬的!  注意如果我們使用馮·諾伊曼的序數定義,在其中每個序數等同為所有前面序數的集合,則這個悖論是不可避免的: 小於一個固定的 formula_8 的所有序數的序型別是 formula_8 自身必定為真。馮·諾伊曼序數的蒐集,像在羅素悖論中的蒐集一樣,不能是使用經典邏輯的集合論的一個集合。但是在新基礎中序型別的蒐集(定義為所有良序排序在類似性下的等價類)實際上是個集合,這個悖論被避免是因為小於 formula_7 的所有序數的序型別變成不是 formula_7。

  現代公理化集合論通過簡單的不允許用無限制的概括公理集合構造來繞過這個悖論,而在弗雷格的公理系統中允許構造“有性質 formula_18 的所有集合”。在新基礎中有一個非常不同的解決。
在集合論此一數學領域裡,布拉利-福爾蒂悖論斷言,樸素建構「所有序數的集合」會導致矛盾,因此每個允許此一構造的系統都會顯得自相矛盾。此一悖論是以切薩雷·布拉利-福爾蒂來命名的,他在1897年發現了此一悖論。