“In 1963, Paul Cohen proved that the negation of the continuum hypothesis is also consistent with ZFC by inventing the method of forcing, thereby establishing the hypothesis's independence from ZFC.”