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.

Version

v3 · 2026-09-19 · History

Domain-specific #

1328

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Mathematical Logic, Axiomatic Set Theory → Mathematics

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.

How would you explain it like I'm…

The Never-Ending Bag

In math, you can start with an empty bag. The Axiom of infinity says there is a giant bag that holds the empty bag, and whenever something is in the giant bag, its 'next one' is in there too. So the giant bag never runs out of next ones. That's how mathematicians make sure the counting numbers can all live together in one collection.

The Rule That Makes Counting Sets

In set theory, mathematicians build numbers out of sets: zero is the empty set, and 'the next number' after x is made by adding x itself to x. The axiom of infinity says there exists a set that contains zero and that, whenever it contains something, also contains the next one. Other rules can then be used to trim that set down to exactly the counting numbers — the smallest such set, called omega. It doesn't say 'infinity is a really big number.' It's a rule that says a certain never-ending kind of collection exists as a single set.

Existence of an Inductive Set

The axiom of infinity in ZF set theory states that there exists a set I containing the empty set such that whenever x is in I, its successor x ∪ {x} is also in I. A set with this property is called inductive. The axiom only guarantees some inductive set; another axiom, Separation, is used to carve out the elements common to all inductive subsets, which gives the smallest inductive set, ω, whose elements are the finite ordinals 0, 1, 2, … in von Neumann's encoding. It is not the same as 'infinity as a huge amount,' nor the same as mathematical induction as a proof method, nor a claim that some particular familiar collection is infinite. Once you have ω, you can develop arithmetic inside set theory and prove things by induction and recursion over the natural numbers.

 

The Axiom of infinity in ZF asserts the existence of a set I that contains the empty set and is closed under the successor operation x maps to x union {x}; such a set is called inductive. This single existential axiom supplies an inductive ambient set, and Separation then isolates the elements common to all inductive subsets of it, yielding the least inductive set omega, whose elements under the von Neumann encoding are the finite ordinals. Its precise content is the existence of a successor-closed inductive set in a declared set theory, not infinity as an intuitive magnitude, not induction as a proof rule, not countable choice, and not the claim that some familiar collection happens to be infinite. The identification fails if closure under successor is omitted, a proper class is used in place of a set, I is asserted to equal omega without Separation, Peano induction is mistaken for this existence axiom, an equivalent formulation is used without the surrounding axioms needed for the equivalence, or independence is claimed without a relative-consistency argument. Once established, it grounds the set of all finite von Neumann ordinals, arithmetic inside set theory, recursion and induction theorems over omega, the distinction between finite and infinite set theories, and models in which Infinity or its negation holds.

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

1. 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) — outgoing typed relations

• Axiom of infinity is a kind of Axiom Prime

  The statement is literally a load-bearing premise accepted without derivation inside ZF; What makes it its own entry: 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.

Hierarchy path (1) — routes to 1 parentless root

• Axiom of infinity → is a kind of Axiom → is a kind of Epistemic Mode Of A Proposition

Neighborhood in Abstraction Space

Axiom of infinity sits in a crowded region of the domain-specific corpus (40^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Set-Theoretic & Order Structures (54 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-10-25