Axiom of infinity: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) (Created page with "The axiom of infinity is a common mathematical axiom included in theories such as Kripke-Platek set theory or ZFC. It asserts that there exists an inductive set - i.e. a set \(x\) so that \(0 \in x\) and, if \(n \in x\), then \(n+1 \in x\). By using \(\Delta_0\)-separation, this implies that \(\omega\) exists. The axiom of infinity, obviously, drastically increases the strength of set theory, since else one is not at all able to define Ordinal|ordinal...") |
Cobsonwabag (talk | contribs) No edit summary |
||
Line 1: | 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 axiom of infinity is a common mathematical axiom included in theories such as [[Kripke-Platek set theory]] or [[ZFC]]. It asserts that there exists an inductive set - i.e. a set \(x\) so that \(0 \in x\) and, if \(n \in x\), then \(n+1 \in x\). By using \(\Delta_0\)-separation, this implies that [[Omega|\(\omega\)]] exists. The axiom of infinity, obviously, drastically increases the strength of set theory, since else one is not at all able to define [[Ordinal|ordinals]]. For example, \(V_\omega\), the set of [[Hereditarily finite set|hereditarily finite sets]], is a model of [[ZFC]] minus the axiom of infinity. |
The axiom of infinity is a common mathematical axiom included in theories such as [[Kripke-Platek set theory]] or [[ZFC]]. It asserts that there exists an inductive set - i.e. a set \(x\) so that \(0 \in x\) and, if \(n \in x\), then \(n+1 \in x\). By using \(\Delta_0\)-separation, this implies that [[Omega|\(\omega\)]] exists. The axiom of infinity, obviously, drastically increases the strength of set theory, since else one is not at all able to define [[Ordinal|ordinals]]. For example, \(V_\omega\), the set of [[Hereditarily finite set|hereditarily finite sets]], is a model of [[ZFC]] minus the axiom of infinity. |