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 can not be disproved from the common system of axioms of set theory .
Simplified: He also showed that the continuum hypothesis can not be disproved from the accepted axioms of set theory , if those axioms are consistent .