Axiom of infinity

From Apeirology Wiki
Revision as of 15:10, 31 August 2023 by 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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 ordinals. For example, \(V_\omega\), the set of hereditarily finite sets, is a model of ZFC minus the axiom of infinity.

Retrieved from "https://apeirology.com/wiki/Axiom_of_infinity?oldid=396"