>>220-221より https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity Interpretation and consequences This axiom is closely related to the von Neumann construction of the natural numbers in set theory, in which the successor of x is defined as x ∪ {x}. If x is a set, then it follows from the other axioms of set theory that this successor is also a uniquely defined set.