Zermelo–Fraenkel set theory
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 , the axiom of choice would show that a set such as  exists.  For finite sets, this axiom can be proved from the other axioms, but not for infinite sets.