# Shortest formal statement equivalent to the continuum hypothesis

What is the shortest formal statement you can write that is provably equivalent to the Continuum Hypothesis in ZFC?

Please use only variables and the following symbols: $\forall, \exists,\lor,\land,\neg,\to, \in,=$ (parentheses may be added for convenience and do not contribute to the length of the formula). For example, symbols and expressions like $\subset,\emptyset,\{\dots\},\aleph_0,\mathcal{P}(x)$ are not allowed for purposes of this problem. Please give references if equivalence of your statement with $CH$ is not immediately obvious.

-
Why does it matter? – François G. Dorais Dec 3 '11 at 7:43
I agree that some motivation for this question would be useful. For example, if you are really asking about defining $\aleph_1$ simply then there are various equivalents of CH that do not need this. – Juris Steprans Dec 3 '11 at 12:35
When asking this question, I hoped that there is a particularly nice and short formulation that can help me to build better intuition about CH. – Vladimir Reshetnikov Dec 3 '11 at 21:04
Vladimir, such a motivation seems misguided; it would be like trying to understand how an algorithm works by looking only at the shortest possible version of it in assembly language. Of course, one wants to think about it instead in terms of higher-level defined concepts, and there is no reason not to do so. I discuss a similar issue in mathoverflow.net/questions/12370/…. – Joel David Hamkins Dec 3 '11 at 23:11
I have to fight with all my might to not post "Your Mom." – Michael Blackmon Dec 10 '11 at 5:22

there is (at the bottom of page 1) a concise formulation of CH. The sentence actually uses the symbol $\mathbb{N}$ for the natural numbers, but you can get rid of it of course.
Scott's sentence involves quantifiers $\forall X$ and $\forall f$. He explains in the preceding paragraph that $X$ is understood to be a subset of $\mathbb{R}$, and $f$ is understood to be a function $\mathbb{R}\to\mathbb{R}$. If these assumptions were made explicit then the sentence would become very much longer. – Neil Strickland Dec 3 '11 at 11:14