Axiom of Choice/Examples/Russell's Socks and Shoes

Example of Use of Axiom of Choice
Suppose we have an infinite number of pairs of socks.

Using the axiom of choice, we can simultaneously pick one sock from each pair.

However, if we also have a infinite number of pairs of shoes, we no longer need the axiom of choice to pick one shoe from each pair.

We simply choose the left one.

Proof
This is more formally stated as:


 * Given an infinite set of unordered pairs, the axiom of choice is needed to pick one element from each pair.


 * Given an infinite set of ordered pairs, the axiom of choice is not needed to pick one element from each of the pairs: we may simply pick the first element of each.