Troubles with continuum hypothesis Axiom of choice is discussed very often, because it should be a lot of paradoxes (Banach-Tarski paradox, for example) and in general it is considered by many non-obvious (for uncountable case, of course). But continuum hypothesis remains aside; it doesn't seem so strange. How many people — so many opinions. But so many theorems only from calculus use AC; it seems that it is easier to accept than reject AC.
And what about CH? There was a question on SE, but I would like to know what the (interesting) theorems using the CH; I don't know any such theorem. Math with AC and math without AC seems to me very different; but math with and without CH... Who cares?)
 A: Kaplansky's Conjecture for Banach Algebras is an example of an interesting statement with no obvious set theoretic content whose truth depends on CH.
The conjecture is that for every algebraic homomorphism from C(X) (where X is some Compact Haussdorff space) to a Banach Algebra is continuous. 
Under CH, the conjecture is false for any infinite choice of X. Without CH, the conjecture may be true.
In general there's a character to CH which makes pathological uncountable things more easily "constructable", because you can always build them out of countable pieces through a process of transfinite induction. I no longer remember (if I ever knew) how the construction of the discontinuous homorphism works, but I'd expect it's something along these lines.
A: I posted this previously, but am unable to find it:
There is a theorem by Erdös, that may be relevant to you:
The following are equivalent


*

*$CH$

*There is an uncountable family $\mathcal F$ of entire functions, such that for all $z \in \mathbb C$ the set $\{ f(z) \mid f \in \mathcal F \} $ is countable.

