关于Dummit《抽象代数》中佐恩引理独立性表述的疑问

首先先把你提到的Dummit书上的那段原文列出来：

It is a nontrivial result that Zorn 's Lemma is independent of the usual (Zermelo-Fraenkel) axioms of set theory1 in the sense that if the axioms of set theory are consistent, then so are these axioms together with Zorn's Lemma; and if the axioms of set theory are consistent, then so are these axioms together with the negation of Zorn's Lemma.

你乍一看可能觉得这两句加粗的表述很像，但其实它们是从两个核心方向完整阐述“佐恩引理与ZFC公理系统独立”这个结论，完全没有省略内容哦。

在集合论里，一个命题和公理系统“独立”的定义是：这个命题既不能被公理系统证明，也不能被公理系统证伪。书上的两句话刚好对应这个定义的两个维度：

• 第一句：如果ZFC本身是一致的，那么把佐恩引理加入ZFC后，整个系统依然一致——这说明佐恩引理无法被ZFC证伪（要是能证伪，加进去就会产生矛盾，系统就不一致了）
• 第二句：如果ZFC本身是一致的，那么把佐恩引理的否定加入ZFC后，整个系统依然一致——这说明佐恩引理无法被ZFC证明（要是能证明，加它的否定进去就会产生矛盾）

这两句话缺一不可，合在一起才严谨地完成了“佐恩引理与ZFC独立”的证明逻辑，所以书上的表述是非常完整准确的~

备注：内容来源于stack exchange，提问作者Quay Chern