三合一：选择公理 = Zorn 引理 = 良序定理

上级：order-theory

在 ZF 下等价

选择公理 ⟺ Zorn's lemma ⟺ 良序定理。 在 ZF 公理系统下，这三者彼此等价——而且仅凭 ZF 既无法证明、也无法反驳它们（哥德尔 + 科恩）。

三个命题：

• 选择公理（AC）： 任意一族非空集合都存在一个选择函数（从每个集合中各取一个元素，一次性同时取完）。
• Zorn 引理： 在一个偏序集中，如果每条链都有上界，那么该偏序集就有一个极大元。
• 良序定理： 任意集合都可以被 well-ordered（赋予一个不存在无穷下降链的全序）。

这个循环（依次相互蕴含）： AC → Zorn（通过超限选择构造一条极大链）；Zorn → Well-ordering（该集合上一个极大的部分良序必然覆盖整个集合）；Well-ordering → AC（先把每个集合良序化，再"取最小元"就是一个可定义的选择函数）。于是这个环闭合了——它们是同一个原理的三套外衣。

"良序" ≠ "良基"

三套外衣中的这一件是良序定理（你可以为任意集合强加一个全序），而不是 well-founded 这个性质本身。一个良序就是一个良基的全序——但命题说的不是"每个集合都是良基的"，而是"每个集合都可以被良序化"。

为什么每套外衣各有用处： Zorn 用于证明极大对象的存在性（任意向量空间的一组基、极大理想、代数闭包）；良序 用于在任意集合上做超限递归/归纳；AC 用于纯粹的选择函数场景。

代价（非构造性）： 它断言了存在没有构造方法的对象——由此导致了 Banach–Tarski 悖论（一个球被切成 5 块后能重新拼成两个球）。大多数数学家接受 AC；构造主义者拒绝它；而 Kleene/Knaster–Tarski 不动点定理与 Bourbaki–Witt 定理，则是不需要选择公理的表亲。