CreeperBomb
Undo revision 686 by Cobsonwabag (talk)
16:51
−2,039
Cobsonwabag
no edit summary
05:58
+2,039
RhubarbJayde
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..."
15:10
+622