关于非泛型滤子G导致模型M[G]不满足ZFC公理的习题求解及原理疑问

我来一步步拆解这个问题，先明确核心矛盾，再对应到具体失效的ZFC公理，最后解答你提到的几个困惑点。

题目回顾 #

设$P$是所有从$\mathbb{N}^{2$到${0,1}$的有限偏函数构成的集合，$\alpha$是不在模型$\mathbf{M}$中的可数序数，$R\subset\mathbb{N}}2$是$\mathbb{N}$的一个良序，使得$(\mathbb{N},R)$与$\alpha$序同构。令$G$是$R$的特征函数在$\mathbb{N}^2$的有限子集上的限制全体（即$G={f\restriction S\mid S\subseteq\mathbb{N}^2\text{有限}, f\text{是}R\text{的特征函数}}$）。证明$\mathbf{M}[G]$不满足ZFC公理，并指出哪个公理失效。

一、为什么G不是P-泛型滤子？ #

你观察得完全正确，$G$确实不是$\mathbf{M}$上的$P$-泛型滤子。泛型滤子的核心要求是：对$\mathbf{M}$中任何稠密子集$D\subseteq P$，都有$G\cap D\neq\emptyset$。我们可以构造一个$\mathbf{M}$中的稠密集$D$，让它和$G$完全不交：

在$\mathbf{M}$中定义集合$D$：
$$D = {p\in P\mid \exists a,b,c\in\mathbb{N}\text{使得 }p(a,b)=1, p(b,c)=1, p(a,c)=0}$$
简单说，$D$是所有“包含破坏传递性的三元组”的有限偏函数——也就是那些在某个三元组上不满足$aRb\land bRc\implies aRc$的偏函数。

验证D的稠密性： #

任取$p\in P$，因为$p$是有限的，我们总能找到$\mathbb{N}$中三个元素$a,b,c$，使得$(a,b),(b,c),(a,c)$都不在$p$的定义域里。然后定义$p'=p\cup{(a,b)\mapsto1,(b,c)\mapsto1,(a,c)\mapsto0}$，显然$p'\supseteq p$且$p'\in D$，所以$D$在$P$中稠密。

为什么G和D不交？ #

$G$中的元素都是$R$的特征函数的有限限制，而$R$是良序（必然满足传递性），所以$G$中任何元素都不可能包含$(a,b)=1,(b,c)=1,(a,c)=0$的情况——这直接和$R$的传递性矛盾！因此$G\cap D=\emptyset$，这就证明了$G$不是泛型滤子。

二、哪个ZFC公理在$\mathbf{M}[G]$中失效？ #

答案是替换公理模式（Replacement Schema），核心原因和序数的绝对性有关：

关键背景：序数的绝对性 #

对于任何ZFC模型$M$和它的扩展模型$N$（$M\subseteq N$且$N$满足ZFC），$N$中的所有序数都必须是$M$中的序数——这是因为“是序数”这个性质是绝对的（不同ZFC模型对“序数”的定义是一致的），而且传递模型中的序数集合是传递的。

矛盾的产生 #

在$\mathbf{M}[G]$中，$R$是可定义的（它的特征函数是$G$中所有元素的并，而$G\in\mathbf{M}[G]$），因此$(\mathbb{N},R)$是$\mathbf{M}[G]$中的良序集，它的序型就是$\alpha$。这意味着$\alpha$在$\mathbf{M}[G]$中被视为一个序数，但$\alpha\notin\mathbf{M}$，这已经和序数的绝对性产生了冲突。

而导致这个冲突的根源就是替换公理失效：
我们可以在$\mathbf{M}[G]$中定义一个可函数$g:\mathbb{N}\to\alpha$，其中$g(n)$是$n$在$(\mathbb{N},R)$中的前序元素的个数（即$n$的序型）。根据替换公理模式，这个函数的值域${g(n)\mid n\in\mathbb{N}}$（也就是$\alpha$本身）应该是$\mathbf{M}[G]$中的集合。但$\alpha\notin\mathbf{M}$，而$\mathbf{M}[G]$中的所有集合都是$\mathbf{M}$中$P$-名字的赋值（每个$P$-名字都是$\mathbf{M}$中的集合），这就意味着$\alpha$无法被任何$P$-名字表示——因为如果存在这样的名字，它必须是$\mathbf{M}$中的集合，而$\mathbf{M}$中根本没有$\alpha$这个序数。

换句话说，替换公理要求我们能把$\alpha$作为一个合法集合引入$\mathbf{M}[G]$，但序数的绝对性又禁止$\mathbf{M}[G]$包含不在$\mathbf{M}$中的序数，这就产生了矛盾，说明$\mathbf{M}[G]$不可能满足ZFC，而直接失效的公理就是替换公理模式。

三、回应你的几个困惑点 #

1. 关于$\mathbf{M}[G]$的结构：
   用$P$-名字的赋值理解$\mathbf{M}[G]$确实有点抽象，换个通俗的说法：$\mathbf{M}[G]$就是$\mathbf{M}$中所有能通过$G$的信息“计算”出来的集合。但因为$G$不是泛型，它携带了关于$\alpha$的“特定”信息（而不是泛型的随机信息），导致$\mathbf{M}[G]$引入了违反ZFC公理的结构。

2. Cohen所说的“知道不该知道的东西”：
   这句话的意思是，$G$包含了$R$的全部有限信息，所以$\mathbf{M}[G]$可以直接定义出不在$\mathbf{M}$中的序数$\alpha$——而如果$G$是泛型滤子，它不会携带任何特定的良序信息，只会包含“随机”的有限偏函数，这样$\mathbf{M}[G]$就不会引入不在$\mathbf{M}$中的序数，也能满足ZFC公理。

3. 关于稠密集的构造：
   你疑惑怎么在$\mathbf{M}$中定义和$G$不交的稠密集——其实不需要知道$R$的具体结构，只需要利用$R$的核心性质（传递性），在$\mathbf{M}$中定义“破坏传递性的有限偏函数”集合。这个集合在$\mathbf{M}$中是可定义的，而且是稠密的，但$G$中的元素都满足传递性，所以自然和它不交。

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