Infinity | Definition, Symbol, & Facts | Britannica

Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos infinity

• Introduction & Top Questions
• Mathematical infinities
• Physical infinities
• Metaphysical infinities

References & Edit History Related Topics Images & Videos For Students infinity summary Science Mathematics print Print Please select which sections you would like to print:

• Table Of Contents

CITE verifiedCite While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions. Select Citation Style MLA APA Chicago Manual of Style Copy Citation infinity mathematics Ask Anything Quick Summary Homework Help Written by Rudy Rucker Professor of Mathematics and Computer Science, San Jose State University, California (1986–2004). Author of Geometry, Relativity and the Fourth Dimension; The Fourth Dimension; Mind Tools; Freeware;... Rudy Rucker Fact-checked by Britannica Editors Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree.... Britannica Editors Last updated Dec. 18, 2025 •History Contents Cite verifiedCite While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions. Select Citation Style MLA APA Chicago Manual of Style Copy Citation Share Share Share to social media Facebook X URL https://www.britannica.com/science/infinity-mathematics Give Feedback External Websites Feedback Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login). Feedback Type Select a type (Required) Factual Correction Spelling/Grammar Correction Link Correction Additional Information Other Your Feedback Submit Feedback Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites

• Brown University - Department of Mathematics - Proof and Sizes of Infinity (PDF)
• University of Montana - ScholarWorks - The Constructs of PhD Students about Infinity: An Application of Repertory Grids (PDF)
• Dartmouth Department of Mathematics - Infinity and the Mind
• CiteSeerX - Infinity � the never-ending struggle (PDF)
• European Mathematical Information Service - Infinity of Numbers: How Students understand it (PDF)
• Mathematics LibreTexts - How Big is Infinity? Or is it “Infinities”?
• Internet Encyclopedia of Philosophy - The Infinite
• International Journal of Scientific and Engineering Research - Infinity in Various Branches of Mathematics
• Frontiers - Embodiment of infinity in mathematics
• Stanford Encyclopedia of Philosophy - Infinity

Britannica AI Ask Anything Quick Summary Homework Help infinity Understanding the Concept of Infinity Different Types of Infinity Infinity in Calculus Set Theory and Infinite Sets Infinity in the Real World Key Challenges and Paradoxes

Top Questions

Who invented the common symbol for infinity?

The common symbol for infinity, ∞, was invented by the English mathematician John Wallis in 1655.

What are the three main types of infinity?

The three main types of infinity are mathematical, physical, and metaphysical.

What did Aristotle believe about infinity?

Aristotle rejected the notion of “actual” infinity and distinguished it from “potential” infinity, which is the ability to count without end.

What is Cantor’s theorem?

Cantor’s theorem states that the size of the counting numbers is strictly less than the size of the real numbers, showing that not all infinities are equal.

What is the continuum hypothesis (CH)?

The continuum hypothesis (CH) is Georg Cantor’s conjecture that the continuum cardinality (c) is equal to aleph-one (ℵ1). It is known to be undecidable based on Zermelo-Fraenkel set theory with the axiom of choice (ZFC).

infinity, the concept of something that is unlimited, endless, without bound. The common symbol for infinity, ∞, was invented by the English mathematician John Wallis in 1655. Three main types of infinity may be distinguished: the mathematical, the physical, and the metaphysical. Mathematical infinities occur, for instance, as the number of points on a continuous line or as the size of the endless sequence of counting numbers: 1, 2, 3,…. Spatial and temporal concepts of infinity occur in physics when one asks if there are infinitely many stars or if the universe will last forever. In a metaphysical discussion of God or the Absolute, there are questions of whether an ultimate entity must be infinite and whether lesser things could be infinite as well.

Mathematical infinities

The ancient Greeks expressed infinity by the word apeiron, which had connotations of being unbounded, indefinite, undefined, and formless. One of the earliest appearances of infinity in mathematics regards the ratio between the diagonal and the side of a square. Pythagoras (c. 580–500 bce) and his followers initially believed that any aspect of the world could be expressed by an arrangement involving just the whole numbers (0, 1, 2, 3,…), but they were surprised to discover that the diagonal and the side of a square are incommensurable—that is, their lengths cannot both be expressed as whole-number multiples of any shared unit (or measuring stick). In modern mathematics this discovery is expressed by saying that the ratio is irrational and that it is the limit of an endless, nonrepeating decimal series. In the case of a square with sides of length 1, the diagonal is Square root of√2, written as 1.414213562…, where the ellipsis (…) indicates an endless sequence of digits with no pattern.

Both Plato (428/427–348/347 bce) and Aristotle (384–322 bce) shared the general Greek abhorrence of the notion of infinity. Aristotle influenced subsequent thought for more than a millennium with his rejection of “actual” infinity (spatial, temporal, or numerical), which he distinguished from the “potential” infinity of being able to count without end. To avoid the use of actual infinity, Eudoxus of Cnidus (c. 400–350 bce) and Archimedes (c. 285–212/211 bce) developed a technique, later known as the method of exhaustion, whereby an area was calculated by halving the measuring unit at successive stages until the remaining area was below some fixed value (the remaining region having been “exhausted”).

The issue of infinitely small numbers led to the discovery of calculus in the late 1600s by the English mathematician Isaac Newton and the German mathematician Gottfried Wilhelm Leibniz. Newton introduced his own theory of infinitely small numbers, or infinitesimals, to justify the calculation of derivatives, or slopes. In order to find the slope (that is, the change in y over the change in x) for a line touching a curve at a given point (x, y), he found it useful to look at the ratio between dy and dx, where dy is an infinitesimal change in y produced by moving an infinitesimal amount dx from x. Infinitesimals were heavily criticized, and much of the early history of analysis revolved around efforts to find an alternate, rigorous foundation for the subject. The use of infinitesimal numbers finally gained a firm footing with the development of nonstandard analysis by the German-born mathematician Abraham Robinson in the 1960s.

A more direct use of infinity in mathematics arises with efforts to compare the sizes of infinite sets, such as the set of points on a line (real numbers) or the set of counting numbers. Mathematicians are quickly struck by the fact that ordinary intuitions about numbers are misleading when talking about infinite sizes. Medieval thinkers were aware of the paradoxical fact that line segments of varying lengths seemed to have the same number of points. For instance, draw two concentric circles, one twice the radius (and thus twice the circumference) of the other, as shown in the figure. Surprisingly, each point P on the outer circle can be paired with a unique point P′ on the inner circle by drawing a line from their common centre O to P and labeling its intersection with the inner circle P′. Intuition suggests that the outer circle should have twice as many points as the inner circle, but in this case infinity seems to be the same as twice infinity. In the early 1600s, the Italian scientist Galileo Galilei addressed this and a similar nonintuitive result now known as Galileo’s paradox. Galileo demonstrated that the set of counting numbers could be put in a one-to-one correspondence with the apparently much smaller set of their squares. He similarly showed that the set of counting numbers and their doubles (i.e., the set of even numbers) could be paired up. Galileo concluded that “we cannot speak of infinite quantities as being the one greater or less than or equal to another.” Such examples led the German mathematician Richard Dedekind in 1872 to suggest a definition of an infinite set as one that could be put in a one-to-one relationship with some proper subset.

The confusion about infinite numbers was resolved by the German mathematician Georg Cantor beginning in 1873. First Cantor rigorously demonstrated that the set of rational numbers (fractions) is the same size as the counting numbers; hence, they are called countable, or denumerable. Of course this came as no real shock, but later that same year Cantor proved the surprising result that not all infinities are equal. Using a so-called “diagonal argument,” Cantor showed that the size of the counting numbers is strictly less than the size of the real numbers. This result is known as Cantor’s theorem.

To compare sets, Cantor first distinguished between a specific set and the abstract notion of its size, or cardinality. Unlike a finite set, an infinite set can have the same cardinality as a proper subset of itself. Cantor used a diagonal argument to show that the cardinality of any set must be less than the cardinality of its power set—i.e., the set that contains all the given set’s possible subsets. In general, a set with n elements has a power set with 2n elements, and these two cardinalities are different even when n is infinite. Cantor called the sizes of his infinite sets “transfinite cardinals.” His arguments showed that there are transfinite cardinals of endlessly many different sizes (such as the cardinals of the set of counting numbers and the set of real numbers).

Access for the whole family! Bundle Britannica Premium and Kids for the ultimate resource destination. Subscribe

The transfinite cardinals include aleph-null (the size of the set of whole numbers), aleph-one (the next larger infinity), and the continuum (the size of real numbers). These three numbers are also written as ℵ0, ℵ1, and c, respectively. By definition ℵ0 is less than ℵ1, and by Cantor’s theorem ℵ1 is less than or equal to c. Along with a principle known as the axiom of choice, the proof method of Cantor’s theorem can be used to ensure an endless sequence of transfinite cardinals continuing past ℵ1 to such numbers as ℵ2 and ℵℵ0.

The continuum problem is the question of which of the alephs is equal to the continuum cardinality. Cantor conjectured that c = ℵ1; this is known as Cantor’s continuum hypothesis (CH). CH can also be thought of as stating that any set of points on the line either must be countable (of size less than or equal to ℵ0) or must have a size as large as the entire space (be of size c).

Key People: Georg Cantor Richard Dedekind Zeno of Elea Bernhard Bolzano (Show more) Related Topics: mathematics infinite set (Show more) See all related content

In the early 1900s a thorough theory of infinite sets was developed. This theory is known as ZFC, which stands for Zermelo-Fraenkel set theory with the axiom of choice. CH is known to be undecidable on the basis of the axioms in ZFC. In 1940 the Austrian-born logician Kurt Gödel was able to show that ZFC cannot disprove CH, and in 1963 the American mathematician Paul Cohen showed that ZFC cannot prove CH. Set theorists continue to explore ways to extend the ZFC axioms in a reasonable way so as to resolve CH. Recent work suggests that CH may be false and that the true size of c may be the larger infinity ℵ2.