Changes

The '''Axiom of Choice''' ('''AC''')<ref>There are numerous equivalent mathematical descriptions of the Axiom of Choice.  Here are two:

The '''Axiom of Choice''' ('''AC''')<ref>There are numerous equivalent [[mathematical formula]]e which capture the idea of the Axiom of Choice.  Here are two:

::<math>\forall x\;(\forall y\;y\in x\Rightarrow\exists z\; z\in y)\;\exists S\;(\forall z\;z\in x\Rightarrow\exists w\;w\in z\;\wedge\;w\in S)\;\wedge\;(\forall v\;v\in z\;\wedge\;v\in S\Rightarrow v=w)</math>

::<math>\forall x\;(\forall y\;y\in x\Rightarrow\exists z\; z\in y)\;\exists S\;(\forall z\;z\in x\Rightarrow\exists w\;w\in z\;\wedge\;w\in S)\;\wedge\;(\forall v\;v\in z\;\wedge\;v\in S\Rightarrow v=w)</math>