Burali–Forti paradox: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1:
<div style="position:fixed;left:0;top:0">
[[File:coinslot.png|link=]]
</div>
<div style="top: 300px; left: 0px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 600px; left: 0px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 900px; left: 0px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 1200px; left: 0px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 0px; left: 400px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 300px; left: 400px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 600px; left: 400px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 900px; left: 400px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 1200px; left: 400px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 0px; left: 800px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 300px; left: 800px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 600px; left: 800px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 900px; left: 800px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 1200px; left: 800px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 0px; left: 1200px; position: fixed; float: left;">
[[File:Cobson.png|link=]]
</div>
<div style="top: 300px; left: 1200px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 600px; left: 1200px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 900px; left: 1200px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
</div>
<div style="top: 1200px; left: 1200px; position: fixed; float: left;">
[[File:coinslot.png|link=]]
The '''Burali–Forti paradox''' refers to the theorem that there is no set containing all [[von Neumann ordinal]]s. Essentially, if there were such a set, then it would itself be a von Neumann ordinal, contradicting the axiom of foundation, which implies no set can be an element of itself. In second-order theories such as Morse-Kelley set theory, this issue is circumvented by making the collection of ordinals a proper class, while all ordinals are sets (and proper classes can not contain other proper classes).
45

edits