Axiom of Choice

$\forall \mathcal{F}[\forall A\in \mathcal{F}(A\ne \varnothing )\to \exists f:\mathcal{F}\to \bigcup \mathcal{F}\forall A(f(A)\in A)]$

• Every collection of non-empty sets has a choice function.