display all the ideas for this combination of texts
1 idea
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
Full Idea: In Zermelo's set theory, the Burali-Forti Paradox becomes a proof that there is no set of all ordinals (so 'is an ordinal' has no extension). | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by William D. Hart - The Evolution of Logic 3 |