Hacker News new | ask | show | jobs
by Koshkin 2579 days ago
Set Theory is not a "closed system." The Axiom of Choice is one example.
1 comments
fmap 2578 days ago
The axiom of choice is part of ZFC. The existence of, e.g., a Mahlo cardinal is not.
link