To choose one sock from each of infinitely many pairs of socks requires the , but for shoes the Axiom is not needed.