continuum_hypothesis
archbishop_of_cantorbury
\aleph_{\alpha +
1
} =
2
^\aleph_{\alpha}
051112