Axiom. 选择公理 $\textsf{AC}$ [AC2C][edit]

    对于任意非空集合族 $\mathscr{F}$, 存在一个选择函数 $f$ 为每个 $A \in \mathscr{F}$ 分配一个元素 $f(A) \in A$.

    Theorem. 选择公理 (Descartes 积形式) [#][edit]

      对任意非空集族 $(X_i)_{i \in I}$, 其 Descartes 积 $\prod_{i \in I} X_i$ 非空.

      Exegesis. [#][edit]

        $f$ 可以被看作是从每个集合 $A \in \mathscr{F}$ 中选取一个元素. 然而, 选择公理 $\textsf{AC}$ 仅保证了此类函数的存在性, 而没有提供构造它的方法. 即 选择公理 $\textsf{AC}$ 并未涉及一个人作出或构想这些选择的能力.

        Example. 百万富翁 [stocking][edit]

          本例来自 “Bertrand Russell. Introduction to Mathematical Philosophy. George Allen and Unwin, 1919”, 略有修改.

          Stocking 拥有无限多双鞋和无限多双袜子. 一日, 她突发奇想, 让 Panty 从每双鞋中挑选并展示一只鞋. 当 Panty 询问如何决定选哪只鞋时, Stocking 告诉她: 从每双鞋中选左脚的那只. 翌日, Stocking 又在类似的情绪下, 让 Panty 从每双袜子中挑选并展示一只袜子. 这次, 当 Panty 问起该如何决定选哪只袜子时, Stocking 却陷入了茫然: 因为每双袜子中的两只完全无法区分, 所以无法像鞋子那样, 为无穷多双袜子中的每一双定义一个明确的选择方式.