axiom of countable choice Synonyms