axiom of denumerable choice Synonyms