Axiom of infinity: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 March 2024

31 August 2023

  • curprev 15:1015:10, 31 August 2023‎ RhubarbJayde talk contribs‎ 622 bytes +622‎ 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..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Axiom_of_infinity"