I just read this amazing article. This new article states that the paper by David Asperó and Ralf Schindler show that Martin’s Maximum and Woodin’s axiom implies each other. Note that if one of them is true, then continuum hypothesis (CH) is false. The paper states that this is closer to show that CH is false. Moreover, Godel wrote in his paper in 1947:
the role of the continuum problem in set theory will be this, that it will finally lead to the discovery of new axioms which will make it possible to disprove Cantor’s conjecture".
Now my question: Why don't we add Woodin's axiom or Martin’s Maximum in ZFC axioms and show that CH is false and we are done. Why don't we say that continuum hypothesis is no longer true? What is left to show?