continuum and aleph one We have symbols of cardinal numbers. The most known are aleph zero and continuum. Somewhere I've noticed the sequence of cardinal numbers as aleph zero, aleph one, aleph two... where $\aleph_n$ = $2^{\aleph_{n-1}}$. Can we say that aleph one = continuum?
 A: Your notation is off by a letter (of the Hebrew alphabet).
The $\aleph$ numbers are not defined by taking power sets of the previous one, but rather increasing "just enough" the cardinality. What does that mean? It means that $\aleph_1$ is not defined as $2^{\aleph_0}$, but rather as the smallest possible uncountable cardinal. $\aleph_2$ is not defined as $2^{\aleph_1}$, but rather as the least possible cardinal which is larger than $\aleph_1$. And so on.
On the other hand, there are $\beth$ (Beth) numbers, which are defined by taking power sets. So $\beth_0$ is $\aleph_0$, and $\beth_1=2^{\beth_0}=2^{\aleph_0}$, and $\beth_2=2^{\beth_1}=2^{2^{\aleph_0}}$, and so on.
In both the $\aleph$ and $\beth$ definitions, after we exhaust the natural numbers as indices, we take limits, and repeat the construction. This eventually exhausts the entire class of ordinals.
From the usual axioms of set theory we cannot prove nor disprove that $\aleph_1=\beth_1$. So while we cannot say that $2^{\aleph_0}=\aleph_1$, we can certainly say that $2^{\aleph_0}=\beth_1$.
