Axiom of extensionality

Imagine two bags of toys. One bag has a ball and a car. The other bag also has a ball and a car. These two bags are the same.

In math, we call these groups sets. A rule helps us know when sets are equal. This rule says two sets are the same if they have the same things inside.

This rule is called the axiom of extensionality. It helps us define what a set is.

Long ago, people like Ernst Zermelo used this rule. It helps make math work in a clear way. It is a very important idea for math today.

Imagine two bags of toys. One bag has a ball and a car. The other bag also has a ball and a car. These two bags are the same. In math, we call these groups sets. A rule helps us know when sets are equal. This rule says two sets are the same if they have the same members. We call this rule the axiom of extensionality.

This idea helps define what a set is. It means if set A and set B have the same things inside, they are the same set. This is called an extensional definition. An extensional definition lists all the objects in a group. This is different from an intensional definition. That kind of definition uses a rule to describe things. For example, an even number is a number you can divide by two. That is a rule. But listing 0, 2, 4, and 6 is an extensional way to show even numbers.

Many thinkers helped build this idea. Gottlob Frege used it in 1893. Later, Ernst Zermelo wrote about it in 1908. His work became the basis for modern set theory. Other thinkers like Alfred Tarski also helped. Today, this rule is a key part of math.

Imagine you have two different boxes. One box holds a red ball and a blue block. The other box also holds a red ball and a blue block. Even if the boxes look different, the things inside are exactly the same. In math, we call these groups of things sets. A special rule helps us decide if two sets are truly equal. This rule is called the axiom of extensionality. It tells us that if two sets have the same members, they are the same set.

This rule works by looking at what is inside a group. There are two ways to describe things in logic. One way is an intensional definition. This uses a rule, like saying an even number can be divided by two. The other way is an extensional definition. This method lists every single object in the group. For example, you could list 0, 2, 4, and 6 to show even numbers. Extensionality focuses on this list of members to define a set.

Many thinkers worked to make this idea clear. Gottlob Frege used these ideas in 1893. He wrote about them in his book, Basic Laws of Arithmetic. He tried to use a rule called Basic Law V to connect ideas. However, this specific rule later led to a problem called Russell's paradox. Later, Ernst Zermelo wrote a paper in 1908. He gave the first clear statement of this modern axiom. His work became the foundation for Zermelo set theory.

Math has changed how we write this rule over time. In the 1920s and 1930s, the term extensionality became more common. People like Alfred Tarski and John von Neumann helped formalize these ideas. In Zermelo–Fraenkel set theory, the rule is very direct. It says if set A and set B have the same members, they are equal. Some math uses things called urelements. These are members of a set that are not sets themselves.

Even different types of math use this core idea. W.V.O. Quine created a system called New Foundations in 1937. He had different ways to define equality in his work. He also wrote about mathematical logic in 1951. Other systems, like Scott–Potter set theory, treat the idea as a theorem. This means it is something that can be proven. Whether it is an axiom or a theorem, the idea remains vital. It helps mathematicians understand how groups and objects relate to one another.

The axiom of extensionality is a fundamental rule in mathematical logic. It serves to define the very nature of a set. In many versions of axiomatic set theory, such as Zermelo–Fraenkel set theory, this axiom is essential. It provides a clear standard for determining when two groups are identical. Informally, the rule states that two sets are equal if and only if they contain the exact same members. This means the identity of a set is determined entirely by its contents rather than its name or how it is described.

To understand this, we must distinguish between two types of definitions: intensional and extensional. An intensional definition describes the necessary conditions for a term to apply to an object. For instance, defining an even number as an integer divisible by two is an intensional approach. An extensional definition, however, identifies a group by listing every object it contains. To define even numbers extensionally, one would list 0, 2, 4, 6, and so on. In logic, the extension of a predicate is the set of all things for which that predicate is true. The axiom of extensionality focuses on this extension to establish equality.

Historically, mathematicians have struggled to formalize these logical connections. In 1893, Gottlob Frege attempted to use the idea of extension in his work, Basic Laws of Arithmetic. He proposed a rule known as Basic Law V. This law stated that if two predicates have the same extensions, they are logically equivalent. However, this specific axiom was later found to lead to Russell's paradox. The first explicit statement of the modern axiom of extensionality appeared in 1908. Ernst Zermelo presented it in a paper regarding the well-ordering theorem. Zermelo used the specific term "Bestimmtheit" for this concept.

Modern set theory grew from these early attempts at formalization. The English term "extensionality" became common in the 1920s and 1930s. This rise in usage coincided with the formalization of logic by figures like Alfred Tarski and John von Neumann. In Zermelo–Fraenkel (ZF) set theory, the axiom is expressed quite simply. It states that if set A and set B have the same members, then A equals B. This rule ensures that if a formula describes a specific collection of objects, that set is unique. This uniqueness is a vital property for building complex mathematical structures.

Different mathematical systems handle this principle in varied ways. In Quine's New Foundations (NF) set theory, presented in 1937, the approach to equality is different. Quine treated the symbol for equality as a shorthand definition rather than a primitive symbol. His original definition was based more on intension. It suggested that two objects are equal if one belongs to all the sets that the other belongs to. By 1951, in his book Mathematical Logic, Quine adjusted his definitions. He wanted his system to be compatible with proper classes. This led to the introduction of a substitutivity axiom to compensate for the changes.

Some theories also account for objects called urelements. An urelement is a member of a set that is not itself a set. In standard Zermelo–Fraenkel set theory, all members of sets are sets. However, in theories that include urelements, the axiom of extensionality must be handled carefully. One method is to apply the axiom only to sets, meaning it does not apply if an object is an urelement. Another method in untyped logic is to modify the axiom so it only applies to nonempty sets. This prevents a situation where every urelement would be forced to equal the empty set. A third alternative involves the concept of a Quine atom, where a set contains only itself.

Beyond standard ZF theory, other systems like Scott–Potter (ZU) set theory exist. In ZU set theory, the extensionality principle is not an axiom at all. Instead, it is treated as a theorem that can be proven from the definition of a "collection." This highlights how deeply the concept is woven into the fabric of mathematics. Whether it is used as a starting axiom or a proven theorem, the principle remains a cornerstone. It allows mathematicians to move from describing properties to defining the actual existence of mathematical objects.