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 wi

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.