6 ms·The axiom of choice is part of ZFC. The existence of, e.g., a Mahlo cardinal is not.by fmap 7y agoThe axiom of choice is part of ZFC. The existence of, e.g., a Mahlo cardinal is not.