Skip to main content

The axiom of countable choice (CC), also called ACω or ACN, is a weak form of the axiom of choice; it says that the set of natural numbers is a projective object in Set. (Recall that the full axiom of choice states that every set is projective.) (from nLab)