[axiom of choice] (1942): an axiom in set theory that is equivalent to Zorn's lemma: for every collection of nonempty sets there is a function which chooses an element from each set
AXIOM OF CHOICE
Meaning of AXIOM OF CHOICE in English
Merriam-Webster English vocab. Английский словарь Merriam Webster. 2012