Hacker News new | ask | show | jobs
by theemathas 1241 days ago
An alternative formulation of the axiom of choice: The cartesian product of a collection of non-empty sets is non-empty.