Joe was arguing that the restatement of the CH was incorrect, not that CH Has/hasn't been solved.

And on your point, Z=L is not a widely accepted axiom. Per wiki,

>Although the axiom of constructibility does resolve many set-theoretic questions, it is not typically accepted as an axiom for set theory in the same way as the ZFC axioms.