Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

View the Project on GitHub neugierde/cantors-attic

**Quick navigation**

The upper attic

The middle attic

The lower attic

The parlour

The playroom

The library

The cellar

**Sources**

Cantor's Attic (original site)

Joel David Hamkins blog post about the Attic

Latest working snapshot at the wayback machine

In math, there are several philosophical liberties that could be taken.
**The axioms** declare the absolute rules of math; what can and can’t be
done, what exists and what doesn’t, and what statements are true and
false, are all determined by them. There are many different ways to
axiomatize mathematics. These different methods are called **Set
Theories**, and there are quite a few. For example:
Zermelo-Fraenkel,
Morse-Kelley,
Peano Arithmetic,
Neumann-Bernays-Gödel,
Kripke-Platek,
and more.

If there is a “universe” in which axioms are true, then that universe is
called a **model** of those axioms. This is an important part of **model
theory**, the study of the formalization of this idea.

Peano Arithmetic is the standard set of axioms which define the natural numbers. Every model of Peano Arithemtic only contains “natural-number like”-things, so the universe of all real numbers or all complex numbers aren’t models of Peano Arithmetic. Peano Arithmetic does not declare the existence of an infinite set or number; in fact, the standard model of choice, $\mathbb{N}$, contains only finite numbers and sets.

Finitism is the idea that there are no infinite sets or infinite numbers in mathematics. Although this idea may seem somewhat reasonable for most people, if axioms declare there are infinite sets, mathematics becomes incredibly beautiful. More things are provable, things about proving things are provable, model theory is formalized in some way, the strangeness and oddities of infinity become formalized in pure mathematics. The intuition of infinity is often preserved if we let it exist.

When one lets an infinite set exist and powerset exist in the axioms (that is, for any set, there is a set which contains exactly all of its subsets), then this beauty of infinity is shown. It is against intuition to not allow powerset to exist, so this is only assumed natural and absolute.

With this, an infinite set and its powerset never have a one-on-one
correspondence to each other (this correspondence is also known as a
**bijection**). That is, there is no way to give each element of the
infinite set exactly one unique element of its powerset. This
intuitively makes the powerset “bigger” than the original set. The proof
of this is known as
Cantor’s theorem.

When there is a **bijection** between two sets, we say the sets have the
same **cardinality**. We then assign numbers to sets based upon their
cardinality; a measure of size.

The **ordinals** are defined in a way that extends the natural numbers.

- The smallest ordinal is $0=\{\}$.
- The next ordinal is $1=\{0\}=\{\{\}\}$.
- The next ordinal is $2=\{0,1\}=\{\{\},\{\{\}\}\}$.

…

Each ordinal is the set of all smaller ordinals. Of course, that begs the question: what is the set of all natural numbers? With this pattern, it should be an ordinal. It is in fact, and it is called $\omega=\{0,1,2,3…\}$. The next ordinal is called $\omega+1$, and then $\omega+2$, and so on. Eventually, one gets to $\omega\cdot 2$, which is simply the the set $\{0,1,2,3…\omega,\omega+1,\omega+2…\}$. Note that $2\cdot\omega$ is not $\omega\cdot 2$, and $1+\omega$ is not $\omega+1$. If you would like a more detailed explanation of ordinal arithmetic, it would be suggested that you should search a reliable source.

The **cardinality** of a set $X$ (denoted $|X|$) is the smallest
ordinal which has a bijection onto $X$. An ordinal is a **cardinal** if
it is the cardinality of some set.

Every finite ordinal is a cardinal. However, no set has cardinality $\omega+1$. In fact, $\omega+1$ has a bijection onto $\omega$. $\omega$ can match to $0$, and then $0$ can match to $1$, $1$ can match to $2$, and so on. Every element of $\omega$ is, with this mapping, given exactly one unique element of $\omega+1$. So, $|\omega+1|=|\omega|=\omega$.

The smallest cardinal is denoted $\aleph_0$. The next smallest cardinal is denoted $\aleph_1$. The next smallest cardinal is denoted $\aleph_2$. This pattern continues. The smallest cardinal larger than all $\aleph_n$ for finite $n$ is $\aleph_\omega$, and etcetera. (The alternative notation $\omega_\alpha$ is also used.)

For ordinals, $\alpha,\beta,\gamma,$ and $\delta$ are often used as variables. For cardinals, $\kappa,\lambda,$ and $\mu$ are often used, though $\mu$ is used less often.

Large cardinal axioms may have some intuition behind them. For example:

- The correct cardinals $\kappa$ are those who have a specific set of cardinality $\kappa$ which acts almost exactly like the collection of all sets.
- The worldly cardinals $\kappa$ are those who have a specific set of cardinality $\kappa$ which acts like its own little universe or “world”.
- The inaccessible cardinals $\kappa$ are those who cannot be reached from smaller cardinals by addition of cardinals or taking the cardinality of the powerset of ordinals.
- The Mahlo cardinals $\kappa$ are those who are inaccessible and have many, many, inaccessibles below them.
- The weakly compact cardinals $\kappa$ are those for which certain sets of information of cardinality $\kappa$ can be “compacted” to smaller sets of information and still retain the basic properties of the original set.
- The indescribable cardinals $\kappa$ are those which are so large that one begins to run out of interesting properties for them because for most properties of $\kappa$ there is a smaller ordinal $\alpha$ which has that property.
- The measurable cardinals $\kappa$ are those who have many very large subsets.
- The strongly
compact
cardinals $\kappa$ are those for which certain sets of information
of cardinality
*at least*$\kappa$ can be “compacted” to smaller sets of information and still retain the basic properties of the original set. - Though it is not a cardinal property, Vopěnka’s principle implies that in every collection which has no cardinality (i.e. it is too large for any cardinal), there are two elements which are incredibly similar to each other.

It turns out that, although these axioms look intuitive, they cannot be proven to exist with standard mathematics. In fact, standard mathematics proves that they cannot be proven to exist. This is why they are axioms.