An alternative formulation of the axiom of choice: The cartesian product of a collection of non-empty sets is non-empty.