Hacker News Reader

Per Wikipedia: > Kurt Gödel showed that GCH is a consequence of ZF + V=L (the axiom that every set is constructible relative to the ordinals)

so if you don't go into the different advanced axioms of set theory (way beyond the target audience of the article), the article is close enough.

View on HN

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.

Reply on news.ycombinator.com