property of certain mathematical objects (usually in a category) that asserts the existence of a countable set with certain properties. Without such an axiom, such a set might not probably exist.
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?