5 ms·
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 g
by aikol 8y ago
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.
- kss238 8y agoJoe 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.
- deleted 8y ago[deleted]