Changes

The Axiom of Choice is an [[axiom]] of ZFC set theory that states the following:

The Axiom of Choice is an [[axiom]] of ZFC set theory that states:

::<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>

Or more compactly

Or more compactly:

::<math>\forall x\neq\varnothing\;\exists S\;(\forall z\in x\;\exists_1w\in z\cap S).</math>

::<math>\forall x\neq\varnothing\;\exists S\;(\forall z\in x\;\exists_1w\in z\cap S).</math>