The axiom of choice is part of ZFC. The existence of, e.g., a Mahlo cardinal is not.