axiom of infinity
Quick Summary
The "axiom of infinity" is a fundamental principle in axiomatic set theory. It asserts the existence of at least one infinite set. This axiom is crucial for developing the theories of real numbers and infinite cardinal numbers within set theory. Without it, mathematicians would be limited to finite sets, which would severely restrict the scope of mathematics. The axiom ensures that there are sets with an infinite number of elements, which are necessary for concepts like the natural numbers (0, 1, 2, 3, ...). This concept of infinity, while abstract, is foundational for many advanced mathematical ideas.123
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
history of logicZermelo-Fraenkel set theory (ZF)With the exception of (2), all these axioms allow new sets to be constructed from already-constructed sets by carefully constrained operations; the method embodies what has come to be…
Read MoreWith the exception of (2), all these axioms allow new sets to be constructed from already-constructed sets by carefully constrained operations; the method embodies what has come to be…
Read More- set theoryAxioms for infinite and ordered sets
…is needed; thus the “axiom of infinity” is included. (See the Zermelo-Fraenkel axiomsZermelo-Fraenkel axioms.Encyclopædia Britannica, Inc.table.)
Read More…is needed; thus the “axiom of infinity” is included. (See the Zermelo-Fraenkel axiomsZermelo-Fraenkel axioms.Encyclopædia Britannica, Inc.table.)
Read More