Quoted By:
Anyway, the CH is undecidable in ZFC because ZFC says you can have a consistent system with any choice of non-negative integer as how many sets exist between |N| and |R|, and that conclusion is what has motivated work in type theory.
ZFC is incomplete, but nobody can think of what axiom ought to be added to it to fix it.
