The axiom of choice says that it is possible to take one object out of each of the elements of a set and make a new set. For example, given the set formula_14, the axiom of choice would show that a set such as formula_28 exists. For finite sets, this axiom can be proved from the other axioms, but not for infinite sets.