The continuum hypothesis (CH) is equivalent to the existence of a set A⊆R² such that Ay and (R∖A)x are both countable for all x,y∈R.
Let A⊆R be as defined in the proposition and suppose that CH fails. Then ℵ1(i) Why well ordering R during the proof?