Burali-Forti Paradox

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 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 was first stated by Cesare Burali-Forti in $1897$.


Sources

  • 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): Burali-Forti paradox
  • 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Burali-Forti's paradox
  • 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Burali-Forti's paradox
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.