Von Neumann universe

Math uses groups called sets.

We can build these sets in steps. We start with nothing at all. This first step is an empty box.

Then we add more things to the boxes. Each new step makes the group much bigger. Some steps grow so fast they are huge. They can even have more things than atoms. This helps us see how math grows. It is a big way to look at math. Can you see the pattern?

Math uses groups called sets. You can think of these sets like building blocks. We can build a whole world of sets in stages. This is called the von Neumann universe.

We start with nothing at all. This first stage is just an empty set. Each new stage is made from the one before it. We take the previous stage and find all its possible parts. This is called a power set.

These stages grow very fast. The first few stages are small and easy to see. But the sixth stage is already massive. It has more elements than there are atoms in the universe! Because they grow so quickly, we cannot write them all down.

Each set has a rank. A rank is like a floor in a tall building. It tells you which stage the set belongs to. The empty set is at rank zero. This hierarchy helps math experts understand the rules of sets. It shows how sets can be stacked to make a giant collection. We call this whole collection the class V.

Imagine you are building a world using only empty boxes. You start with nothing at all, which is just one empty box. Then, you can make a new box that holds that first empty box. Each new step lets you create even more complex groups from what you already have. In math, this way of building sets in layers is called the von Neumann universe. It is a massive collection that helps mathematicians understand the rules of set theory. We use the symbol V to name this entire collection of sets.

This universe grows through a process called a cumulative hierarchy. We start at stage zero with the empty set. To get to the next stage, we find the power set of the current stage. A power set is just a collection of every possible subset you can make. If we reach a limit, we simply join all the previous stages together. This creates a ladder of stages that keep climbing higher and higher. Each stage is a set that contains everything built in the steps before it.

People often call this the von Neumann hierarchy. However, the idea was first published by Ernst Zermelo in 1930. John von Neumann later worked on important parts of how these sets are built. Some experts say the name might be a bit inaccurate. They believe the credit should go to Zermelo for the first construction. Even so, von Neumann's work on how to build things step-by-step was vital. His ideas helped shape how we look at the whole universe of sets.

These stages grow at a truly incredible speed. The first few stages are small and easy to imagine. By the fifth stage, V5, there are already 65,536 elements. The sixth stage, V6, is so huge it has more elements than atoms in the observable universe. Because they grow so fast, we cannot write them down after stage five. We use special math tools to talk about these massive numbers. Even the set Vω, which is a special collection of all finite stages, is very large.

Every set in this universe has a rank. You can think of a rank like a floor in a very tall building. The rank tells you exactly which stage a set belongs to. The empty set always sits at rank zero. This system helps us see how sets relate to one another. It also helps mathematicians check if their rules make sense. By using these ranks, we can organize the entire world of sets into a clear order.

The von Neumann universe, denoted by the symbol V, is a fundamental concept in set theory. It represents the entire collection of all "pure sets" within the framework of Zermelo–Fraenkel set theory (ZFC). In this context, a pure set is a set that contains no elements other than other sets. This universe is not a single set itself, but rather a "proper class." This means it is a collection too large to be contained within a set. Mathematicians use this hierarchy to provide a clear structure for the axioms of ZFC. It acts as a mathematical arena where most of set theory takes place.

This universe is built through a process called the cumulative hierarchy. This hierarchy is organized into stages, or ranks, which are indexed by ordinal numbers. The construction begins at the very first stage, V0, which is defined as the empty set. To move from one stage to the next, mathematicians use the power set operation. For any ordinal number $\beta$, the next stage, V$\beta+1$, is the power set of the previous stage, V$\eta$. A power set is the collection of all possible subsets of a given set. When we reach a limit ordinal, denoted by $\lambda$, the stage V$\lambda$ is formed by taking the union of all previous stages.

Each set within this universe has a specific rank. The rank of a set is defined as the smallest ordinal number that is greater than the ranks of all its members. For example, the empty set has a rank of zero. Every ordinal number also has a rank equal to itself. This ranking system allows us to organize sets into a clear, ascending order. Because each stage contains all the sets from the previous stages, the hierarchy is called "cumulative." This means that as you move up the ladder, the collections only get larger and more complex.

The history of this concept involves several important mathematicians. While it is often called the von Neumann hierarchy, the idea was first published by Ernst Zermelo in 1930. Some scholars, such as Gregory H. Moore, argue that attributing the hierarchy solely to von Neumann is inaccurate. John von Neumann did, however, demonstrate the general method of transfinite recursion in 1928. This method is essential for building the stages of the universe. The notation "V" for the universe was used earlier by mathematicians like Peano and Russell.

The growth of these stages is incredibly rapid, following a pattern known as tetrational growth. The first few stages are small and manageable. For instance, the fifth stage, V5, contains 65,536 elements. However, the sixth stage, V6, contains $2^{65536}$ elements. This number is so vast that it exceeds the number of atoms in the observable universe. Because of this extreme growth, we cannot explicitly write down the elements of the stages after V5. The hierarchy eventually reaches V$\omega$, which has the same cardinality as the set of natural numbers.

Mathematicians use different parts of the hierarchy to model various mathematical systems. For example, the set V$\omega$ consists of all hereditarily finite sets. This collection serves as a model for set theory if we remove the Axiom of Infinity. Moving higher, the set V$\omega+\omega$ can act as a model for Zermelo set theory. This level is often considered sufficient for "ordinary mathematics." Higher levels, such as those defined by inaccessible cardinals, can provide models for the full ZFC system. These models help researchers test the consistency and limits of different mathematical rules.

The existence of the von Neumann universe is a deep philosophical and logical question. Since we cannot prove the consistency of ZFC using only ZFC, we cannot formally prove the universe's existence without assumptions. The integrity of the entire construction relies on the reliability of ordinal numbers and transfinite induction. Some thinkers, known as formalists, see the universe as a direct result of the ZFC axioms. Others, called realists, believe the hierarchy is a structure that humans can intuitively understand. Regardless of the perspective, the von Neumann universe remains a vital tool for exploring the foundations of mathematics.