Explain the Continuum Hypothesis (CH) and its relationship to the cardinality of infinite sets. Discuss the groundbreaking work by Kurt Gödel and Paul Cohen which proved that CH can neither be proved nor disproved from the standard Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). Theoretically discuss what this independence implies for the nature of mathematical truth: is mathematics discovered (Platonism) or invented (Formalism)?