Burali-Forti Paradox

From ProofWiki
Jump to navigation Jump to search

Paradox

The ordinal of the set of all ordinals must be larger than any of the ordinals in that set.

Hence this would be an ordinal which is not contained in that set.

That is, it is an ordinal which is not contained in the set of all ordinals.

Hence the set of all ordinals is not an allowable set.


Refutation

This paradox is an antinomy caused by the incorrect assumption that one can create a set of all ordinals.

This is formally expressed in Existence of Set of Ordinals leads to Contradiction.

$\blacksquare$


Also known as

The Burali-Forti Paradox is often seen presented with an apostrophe: Burali-Forti's Paradox


Also see


Source of Name

This entry was named for Cesare Burali-Forti.


Historical Note

The Burali-Forti Paradox was first stated by Cesare Burali-Forti in $1897$.


Sources