Comment Comment by theemathas An alternative formulation of the axiom of choice: The cartesian product of a collection of non-empty sets is non-empty. parent theemathas 3 years ago