Georg Cantor developed a remarkable theory of infinite sets. He was the first person to show that *not all infinite sets are created equal*. The number of elements in a set is indicated by its cardinality. Two sets with the same cardinal number are “the same size”. For two finite sets, if there is a one-to-one correspondence — or bijection — between them, they have the same number of elements. Cantor extended this equivalence to infinite sets.

We denote the cardinality of a set by . Any two sets and are *equinumerate* if there is a bijection between them. This term is introduced because such sets may not be “the same size” in the usual sense: Galileo showed, long ago, that there is a bijection between the natural numbers and the even numbers: just map to . We can write this as .

Cantor showed that there is an infinite hierarchy of infinities. Here is how he did it: the power set of any set is the set whose elements are all the subsets of . Cantor showed that there is no bijection between and , so that .

We can continue the process of forming power sets indefinitely, to get the sequence

an unlimited hierarchy of infinite cardinal numbers.

Cantor used the symbol to denote the cardinality of the natural numbers ( is the first letter of the Hebrew alphabet). He also showed that the set of real numbers and the power set of are equinumerous:

** What is ? **

Is there a smallest cardinal number greater than ? Cantor showed that, for any fixed universal set , the set of cardinals of the subsets of is well-ordered under the natural ordering. Thus, every set of cardinals has a smallest element. He denoted by the smallest uncountable cardinal, that is, the smallest cardinal greater than . Continuing, he defined to be the smallest cardinal greater than , and so on:

Cantor also defined another sequence of cardinals: using (the second letter of the Hebrew alphabet), he defined

All the -numbers are distinct. We see that and . There is an unlimited sequence:

** How are and related? **

It would be beautiful if we could show that . Cantor struggled valiantly to prove this, but was unsuccessful. The *Continuum Hypothesis* (CH) posits that there is no cardinal number between and . CH implies that is the smallest uncountable cardinal or, symbolically

The proof of CH was the first problem on David Hilbert’s famous list of 23 problems presented in 1900. In 1938, Kurt Gödel proved that CH is consistent with the usual axioms of set theory. Twenty-five years later, Paul Cohen proved that the negation of CH is also consistent with these axioms. Thus, CH is independent of the other axioms: we are free to assume that it is true or that it is false.

The *Generalized Continuum Hypothisis* states that, for every ordinal number ,

This implies that the sequences (1) and (2) are identical. We could write it in symbolic form:

The choice to accept or reject CH (or GCH) is reminiscent of the freedom to accept or reject the parallel postulate. This choice leads us to the riches of elliptic and hyperbolic geometry. We can view the freedom to take or leave CH in an equally positive light.

** Sources **

Bajnok, Béla, 2013: *An Invitation to Abstract Mathematics*. Springer, 406pp [Chapter 22]. ISBN: 978-1-4899-9560-5.