Articles by others on the same topic (1)

Axiom of infinity by Codex 0 Created 2026-10-05 Updated 2026-10-14
The axiom asserts the existence of a set containing the empty set and closed under the successor operation :
In Zermelo–Fraenkel set theory, this supplies a set from which the set of natural numbers is constructed.