Why Mathematics Defines Numbers and Functions as Sets

Direct answer: Standard mathematics defines numbers, functions, and other objects as sets because the 19th-century collapse of certainty in Euclidean geometry pushed mathematicians to seek a foundation requiring fewer unprovable assumptions. Set theory lets natural numbers, integers, rationals, reals, and functions all be built from one starting point, so only the consistency of set theory itself needs to be trusted, rather than a separate theory for each type of number.

Key Takeaways

• Real numbers, integers, and rational numbers are not sets in everyday experience, but standard mathematics defines them as sets so that fewer separate consistency assumptions are needed.
• The discovery that the square root of 2 cannot be expressed as a ratio of two natural numbers created a historical split between Greek algebra and Greek geometry.
• Hyperbolic geometry, developed in the 19th century, showed that Euclid’s axioms are not the only possible description of space, a point later reinforced by Einstein’s theory of relativity.
• Gödel’s incompleteness proof establishes that the consistency of set theory cannot be demonstrated using set theory itself.
• An ordered pair (a,b) is formally defined in set theory as {{a},{a,b}}, a definition chosen because it reproduces the property that (a,b) equals (a’,b’) only when a equals a’ and b equals b’.
• A function f from set A to set B is formally defined as the triple (A,B,R), where R is a subset of the Cartesian product A×B satisfying uniqueness for each input.

Why Does Mathematics Define Numbers as Sets?

Standard mathematics characterizes nearly everything in terms of sets. Natural numbers, integers, real numbers, and rational numbers are each defined as particular sets, and the concept of a function is likewise defined as a set. This is a deliberate foundational choice, not an accident of notation, and understanding why requires looking back at the history of mathematics.

A real number is not experienced as a set in ordinary life, so the motivation for defining it that way lies in the historical search for a reliable foundation, traced below.

How Did Greek Geometry Lead to a Split Between Algebra and Geometry?

Greek geometry was one of the first successful mathematical theories, built on axioms that Greek mathematicians treated as true statements about the physical world. The Greeks believed every number was either a natural number or a rational number (a ratio of two natural numbers).

The discovery that the square root of 2 cannot be written as a ratio of two natural numbers was deeply disturbing to the Greeks, because it contradicted this belief. This discovery created a lasting division: Greek mathematicians came to see algebra as unreliable and prone to paradoxes, while geometry was regarded as pure and secure, resting on axioms considered self-evidently true.

Why Did 19th-Century Geometry Undermine That Certainty?

It took until the 19th century for mathematicians to recognize that geometries other than Euclid’s were possible. Hyperbolic geometry closely resembled Euclidean geometry but differed from it in important ways, raising the possibility that physical space might not follow Euclidean axioms at all. Einstein’s theory of relativity later confirmed that space does not behave according to Euclidean geometry in the way the Greeks had assumed.

Once alternative geometries were shown to be logically possible, Euclid’s axioms could no longer be treated as obvious truths about the real world. The remaining explanation was that these axioms were simply a system invented by the human mind, rather than a description of physical reality.

If Euclidean geometry is an invention of the mind rather than a report on reality, there is no guarantee that accepting its axioms avoids paradox. This meant that even pure geometry, once considered the most secure part of mathematics, carried a risk that its axioms might turn out to be inconsistent, putting every geometric result in doubt.

How Does Set Theory Provide a Foundation for Numbers?

The 19th-century response to this uncertainty was to base mathematics on sets rather than on geometry. Mathematicians showed that real numbers could be constructed out of rational numbers, so the consistency of the rational numbers would guarantee the consistency of the reals. Rational numbers, in turn, can be constructed out of integers, and integers can be constructed out of natural numbers.

This chain of construction means that if the natural numbers form a consistent system, the integers, rationals, and reals inherit that consistency automatically. Proving the consistency of the natural numbers directly was more difficult, but mathematicians found it possible to define natural numbers using sets alone, so the consistency question reduces to a single question: is set theory itself consistent?

Gödel’s incompleteness proof showed that the consistency of set theory cannot be demonstrated from within set theory itself. Despite this limitation, most mathematicians do not doubt that set theory is consistent; they are simply unable to prove it formally.

What Do These Set-Theoretic Constructions Actually Tell Us?

Defining real numbers or natural numbers in terms of sets reduces the number of separate assumptions mathematics has to take on faith. Without these set-theoretic definitions, a fully separate consistent theory of real numbers would be needed outside of set theory altogether, so building numbers from sets simplifies the overall foundation.

It is worth noting that this construction does not claim to reveal what a real number actually is. A number such as the square root of 2 is not experienced mentally as a set; it is more naturally pictured as a point on a number line. All the set-theoretic construction of the real numbers shows is that something behaving exactly like the real numbers can be modeled inside set theory. Whether that modeled object truly is the real numbers is a philosophical question mathematicians generally set aside, because a mathematician cares only about an object’s properties, not its ultimate nature. If a set-theoretic model behaves exactly like the real numbers, mathematicians treat it as the real numbers.

How Are Functions Defined as Sets?

Set theory begins by defining the ordered pair (a,b) as the set {{a},{a,b}}. This definition is chosen specifically because it satisfies the property that (a,b) equals (a’,b’) if and only if a equals a’ and b equals b’, which is exactly the behavior an ordered pair is expected to have. A mathematician does not care whether an ordered pair is literally this set; the only requirement is that it behaves like an ordered pair, and it does.

Ordered triples and longer tuples are then built recursively: (a,b,c) is defined as ((a,b),c), and (a,b,c,d) is defined as ((a,b,c),d), continuing in the same pattern.

A function f between sets A and B, written f:A→B, is formally defined as the triple (A,B,R), where R is a subset of the Cartesian product A×B consisting of ordered pairs (a,b) with a in A and b in B. For this triple to count as a function, every element a in A must be paired with exactly one element b in B such that (a,b) belongs to R.

For example, the function f:ℝ→ℝ defined by x→x² is formally given by the triple (ℝ, ℝ, {(x,x²) | x∈ℝ}), consisting of the domain, the codomain, and the set of input-output pairs forming its graph. Using the shorthand b=f(a) in place of (a,b)∈R, two functions f=(A,B,R) and g=(A’,B’,R’) are equal exactly when A equals A’, B equals B’, and f(a) equals g(a) for every a in A.

Intuitively, a function is often pictured as a process or transformation that converts an input into an output. In the set-theoretic model, however, a function is simply a set relating input values to output values, with no built-in notion of process at all. This model does not claim to explain what a set fundamentally is, since that remains a philosophical question; it only shows how the intuitive idea of a function can be represented using sets, and the model succeeds because it behaves the way mathematicians expect a function to behave.

Frequently Asked Questions

Why does mathematics define real numbers as sets instead of using intuition directly?

Defining real numbers as sets reduces the number of separate foundational assumptions needed. Instead of requiring an independent consistency proof for real numbers, rational numbers, integers, and natural numbers separately, all of these can be constructed from set theory, so only the consistency of set theory itself needs to be trusted.

What role did the square root of 2 play in the history of mathematics?

The discovery that the square root of 2 could not be expressed as a ratio of two natural numbers contradicted the Greek belief that every number was natural or rational. This discovery caused Greek mathematicians to distrust algebra while continuing to treat geometry as a pure, reliable foundation.

Why did hyperbolic geometry undermine confidence in Euclid’s axioms?

Hyperbolic geometry, developed in the 19th century, resembled Euclidean geometry but differed in important respects, showing that Euclid’s axioms were not the only logically possible description of space. This raised the possibility that physical space itself might not follow Euclidean geometry, later reinforced by Einstein’s theory of relativity.

Does Gödel’s incompleteness proof mean set theory is inconsistent?

No. Gödel’s incompleteness proof shows only that the consistency of set theory cannot be proven using set theory itself. Most mathematicians still believe set theory is consistent; they simply lack a formal proof of that belief from within the system.

Why is the ordered pair defined as {{a},{a,b}}?

This particular set definition is chosen because it satisfies the property that (a,b) equals (a’,b’) exactly when a equals a’ and b equals b’, which matches how an ordered pair is expected to behave. Mathematicians accept this as a valid model of an ordered pair because it has the right properties, not because it literally resembles an ordered pair intuitively.

How is a function formally defined in set theory?

A function f:A→B is defined as the triple (A,B,R), where R is a subset of the Cartesian product A×B. For the triple to qualify as a function, every element a in A must correspond to exactly one element b in B such that the pair (a,b) belongs to R.