Which extension of $\sf ZFC$ prove that $$ {\sf ZFC} \not \vdash \exists x \, ( \operatorname {CH}(x) \land x \neq \emptyset \land x \neq 1)$$ Where $\operatorname {CH}(x) \iff \neg \exists \kappa \, (|x| < \kappa < |P(x)|) $ In English: $\sf ZFC$ doesn't prove the continuum hypothesis of any set other than the empty set and the singleton of the empty set.