Hacker News new | ask | show | jobs
by fmap 2578 days ago
The axiom of choice is part of ZFC. The existence of, e.g., a Mahlo cardinal is not.