形式陈述

选择公理断言：对任意由非空集合组成的集合族 $\mathcal A$$\mathcal{A}$，存在函数 $f:\mathcal A\to\bigcup\mathcal A$$f:\mathcal{A}\to \bigcup \mathcal{A}$，使每个 $A\in\mathcal A$$A\in \mathcal{A}$ 都满足 $f(A)\in A$$f(A)\in A$。它与良序定理和 Zorn 引理在 ZF 中等价。

直觉

对每个集合单独“存在一个元素”不总能在无限族中自动拼成统一选择函数；选择公理允许这种全局同时选择。

例子与边界

有限集合族不需要完整选择公理。一个标准应用是：每个非零含幺交换环都存在极大理想；证明通常对真理想偏序使用 Zorn 引理。省略非零、含幺或交换等约定会改变命题版本。

推论与应用

选择公理用于基的存在、乘积非空性和极大对象构造。许多具体可数或显式选择问题只需较弱形式，应按证明实际使用的强度陈述。

参考资料

• Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd ed., Academic Press, 2001, Chs. 0–3。
• Thomas Jech, Set Theory, 3rd millennium ed., Springer, 2003, Chs. 1–7。