Axiom of infinity¶
Assert in Zermelo–Fraenkel set theory that an inductive set exists—one containing the empty set and closed under the successor x mapped to x union singleton x—thereby supplying a set from which omega and the natural-number sequence can be isolated.
Core Idea¶
The ZF axiom of infinity asserts that there is a set I such that the empty set belongs to I and, whenever x belongs to I, the successor \(x\cup\{x\}\) also belongs to I. one existential axiom supplies an inductive ambient set; Separation isolates the elements common to all inductive subsets, yielding the least inductive set omega, whose elements under von Neumann encoding are the finite ordinals.
Its autonomous residual is the precise existence of a successor-closed inductive set in a declared set theory, not infinity as an intuitive magnitude, mathematical induction as a proof rule, countable choice, or the separate claim that a particular familiar collection is infinite.
Scope of Application¶
Axiom of infinity applies when the analyst can specify the first-order language and axioms of Zermelo–Fraenkel set theory or a declared related foundation, with membership as the primitive relation and establish that the formal theory asserts existence of one set containing zero and closed under the specified successor operation, with the exact formula interpreted alongside the rest of the foundation's axioms. The entry concerns formal foundations and relative consequences; it does not settle philosophical disputes about actual infinity or imply that stronger infinity principles follow from this axiom alone.
Clarity¶
A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because existence of arbitrarily large finite objects in the metatheory can be mistaken for existence of a set containing them all inside the theory, and an inductive set can be mistaken for the least one.
Manages Complexity¶
The abstraction compresses ZF and ZFC presentations, NBG class theory, alternative infinity axioms, von Neumann and other natural-number encodings, constructive foundations, finite set theories, and stronger large-cardinal existence principles into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.
Abstract Reasoning¶
- Type the carrier. Establish the first-order language and axioms of Zermelo–Fraenkel set theory or a declared related foundation, with membership as the primitive relation and reject examples from a different problem. 2. Lock the rule. Express that the formal theory asserts existence of one set containing zero and closed under the specified successor operation, with the exact formula interpreted alongside the rest of the foundation's axioms independently of one notation or implementation.
Knowledge Transfer¶
Transfer within mathematical logic is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from Starting with zero as the empty set, repeated von Neumann successor produces zero, one, two, and every finite ordinal inside an inductive set guaranteed by Infinity. to The structure of hereditarily finite sets provides a model of a suitable ZF fragment with the negation of Infinity, illustrating why finite constructions alone do not collect all finite ordinals into one set. demonstrates that continuity.
Relationships to Other Abstractions¶
Current abstraction Axiom of infinity Domain-specific
Parents (1) — more general patterns this builds on
-
Axiom of infinity is a kind of Axiom Prime
The proposed strict upward parent is
prime:axiom.
Hierarchy path (1) — routes to 1 parentless root
- Axiom of infinity → Axiom → Epistemic Mode Of A Proposition
Neighborhood in Abstraction Space¶
Axiom of infinity sits in a moderately populated region (57th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Set Theory & Constructive Foundations (15 abstractions)
Nearest neighbors
- Zermelo set theory — 0.89
- Tarski–Grothendieck set theory — 0.88
- Von Neumann–Bernays–Gödel set theory — 0.87
- Admissible set — 0.87
- Universal set — 0.87
Computed from structural-signature embeddings · 2026-09-08