All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 15:10, 31 August 2023 RhubarbJayde talk contribs created page Axiom of infinity (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