Burali-Forti paradox
English
Etymology
Named after Cesare Burali-Forti, who in 1897 published a paper proving a theorem which, unknown to him, contradicted a previously proved result by Cantor.
Proper noun
- (set theory) The following paradox: Let L be the set of all ordinal numbers. This set is well-ordered, so it has an ordinal number γ. Since L is the set of all ordinal numbers, L contains γ. But γ is equal to the well-ordered set of all ordinal numbers β smaller than γ. Thus, L is order isomorphic to one of its proper subsets, a contradiction.
Related terms
This article is issued from
Wiktionary.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.