**Sierpiński** the continuum hypothesis is equivalent to the statement “there exists a countable family of functions which, together with their inverses, cover the plane.” See [[COVERING AN UNCOUNTABLE SQUARE BY COUNTABLY MANY CONTINUOUS FUNCTIONS]] Davies them $\exists D \subseteq \omega_{1}$ club