World Library  
Flag as Inappropriate
Email this Article

Axiom of infinity

Article Id: WHEBN0000246449
Reproduction Date:

Title: Axiom of infinity  
Author: World Heritage Encyclopedia
Language: English
Subject: Set theory, Zermelo set theory, Constructive set theory, Morse–Kelley set theory, Paradoxes of set theory
Collection: Axioms of Set Theory
Publisher: World Heritage Encyclopedia

Axiom of infinity

In axiomatic set theory and the branches of mathematics and philosophy that use it, the axiom of infinity is one of the axioms of Zermelo–Fraenkel set theory. It guarantees the existence of at least one infinite set, namely a set containing the natural numbers. It was first published by Ernst Zermelo as part of his set theory in 1908.[1]


  • Formal statement 1
  • Interpretation and consequences 2
  • Extracting the natural numbers from the infinite set 3
    • Alternative method 3.1
  • Independence 4
  • See also 5
  • References 6

Formal statement

In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:

\exists \mathbf{I} \, ( \empty \in \mathbf{I} \, \and \, \forall x \in \mathbf{I} \, ( \, ( x \cup \{x\} ) \in \mathbf{I} ) ) .

In words, there is a set I (the set which is postulated to be infinite), such that the empty set is in I and such that whenever any x is a member of I, the set formed by taking the union of x with its singleton {x} is also a member of I. Such a set is sometimes called an inductive set.

Interpretation and consequences

This axiom is closely related to the standard construction of the naturals 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. Successors are used to define the usual set-theoretic encoding of the natural numbers. In this encoding, zero is the empty set:

0 = {}.

The number 1 is the successor of 0:

1 = 0 ∪ {0} = {} ∪ {0} = {0}.

Likewise, 2 is the successor of 1:

2 = 1 ∪ {1} = {0} ∪ {1} = {0,1},

and so on. A consequence of this definition is that every natural number is equal to the set of all preceding natural numbers.

This construction forms the natural numbers. However, the other axioms are insufficient to prove the existence of the set of all natural numbers. Therefore its existence is taken as an axiom—the axiom of infinity. This axiom asserts that there is a set I that contains 0 and is closed under the operation of taking the successor; that is, for each element of I, the successor of that element is also in I.

Thus the essence of the axiom is:

There is a set, I, that includes all the natural numbers.

The axiom of infinity is also one of the von Neumann–Bernays–Gödel axioms.

Extracting the natural numbers from the infinite set

The infinite set I is a superset of the natural numbers. To show that the natural numbers themselves constitute a set, the axiom schema of specification can be applied to remove unwanted elements, leaving the set N of all natural numbers. This set is unique by the axiom of extensionality.

To extract the natural numbers, we need a definition of which sets are natural numbers. The natural numbers can be defined in a way which does not assume any axioms except the axiom of extensionality and the axiom of induction—a natural number is either zero or a successor and each of its elements is either zero or a successor of another of its elements. In formal language, the definition says:

\forall n (n \in \mathbf{N} \iff ([n = \empty \,\,\or\,\, \exists k ( n = k \cup \{k\} )] \,\,\and\,\, \forall m \in n[m = \empty \,\,\or\,\, \exists k \in n ( m = k \cup \{k\} )])).

Or, even more formally:

\forall n (n \in \mathbf{N} \iff ([\forall k (\lnot k \in n) \or \exists k \forall j (j \in n \iff (j \in k \lor j = k))] \and
\forall m (m \in n \Rightarrow [\forall k (\lnot k \in m) \or \exists k (k \in n \and \forall j (j \in m \iff (j \in k \lor j = k)))]))).

Alternative method

An alternative method is the following. Let \Phi(x) be the formula that says `x is inductive'; i.e. \Phi(x) = (\varnothing \in x \wedge \forall y(y \in x \to (y \cup \{y\} \in x))). Informally, what we will do is take the intersection of all inductive sets. More formally, we wish to prove the existence of a unique set W such that

\forall x(x \in W \leftrightarrow \forall I(\Phi(I) \to x \in I)). (*)

For existence, we will use the Axiom of Infinity combined with the Axiom schema of specification. Let I be an inductive set guaranteed by the Axiom of Infinity. Then we use the Axiom Schema of Specification to define our set W = \{x \in I:\forall J(\Phi(J) \to x \in J)\} - i.e. W is the set of all elements of I which happen also to be elements of every other inductive set. This clearly satisfies the hypothesis of (*), since if x \in W, then x is in every inductive set, and if x is in every inductive set, it is in particular in I, so it must also be in W.

For uniqueness, first note that any set which satisfies (*) is itself inductive, since 0 is in all inductive sets, and if an element x is in all inductive sets, then by the inductive property so is its successor. Thus if there were another set W' which satisfied (*) we would have that W' \subseteq W since W is inductive, and W \subseteq W' since W' is inductive. Thus W = W'. Let \omega denote this unique element.

This definition is convenient because the principle of induction immediately follows: If I \subseteq \omega is inductive, then also \omega \subseteq I, so that I = \omega.

Both these methods produce systems which satisfy the axioms of second-order arithmetic, since the axiom of power set allows us to quantify over the power set of \omega, as in second-order logic. Thus they both completely determine isomorphic systems, and since they are isomorphic under the identity map, they must in fact be equal.


The axiom of infinity cannot be derived from the rest of the axioms of ZFC, if these other axioms are consistent. Nor can it be refuted, if all of ZFC is consistent.

Indeed, using the Von Neumann universe, we can make a model of the axioms where the axiom of infinity is replaced by its negation. It is V_\omega \!, the class of hereditarily finite sets, with the inherited element relation. If allowed, the empty domain also satisfies the axioms of this modified theory, as all of them are universally quantified, and thus trivially satisfied if no set exists.

The cardinality of the set of natural numbers, aleph null (\aleph_0), has many of the properties of a large cardinal. Thus the axiom of infinity is sometimes regarded as the first large cardinal axiom, and conversely large cardinal axioms are sometimes called stronger axioms of infinity.

See also


  1. ^ Zermelo: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908), 261-281; Axiom des Unendlichen p. 266f.
  • Paul Halmos (1960) Naive Set Theory. Princeton, NJ: D. Van Nostrand Company. Reprinted 1974 by Springer-Verlag. ISBN 0-387-90092-6.
  • Thomas Jech (2003) Set Theory: The Third Millennium Edition, Revised and Expanded. Springer-Verlag. ISBN 3-540-44085-2.
  • Kenneth Kunen (1980) Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
  • Hrbacek, Karel;  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.