Original: During this time, he worked on the proof of consistency of the axiom of choice and of the continuum hypothesis; he would go on to show that these hypotheses cannot be disproved from the common system of axioms of set theory.
Simplified: He also showed that the continuum hypothesis cannot be disproved from the accepted axioms of set theory, if those axioms are consistent.