【锚点】只钉一个判断：把理论内容压缩成「结构」（Ramsey 句 / 二阶存在量化）并不能保住你想保的东西——Newman (1928) 的论证说，只要论域基数够，几乎任何结构都能被塞进去；于是「结构相同」这个条件近乎空洞。

【显式】先把定理摆出来。设 T 是理论，O 是观察词汇，T^{R 是它的 Ramsey 句：把全部理论词汇用二阶存在量化消掉，T}R ≡ ∃R₁…R_k T(O, R₁…R_k)。Newman 的观察是：给定任意 O-结构 M，只要 |M| ≥ n（n 由理论里可区分个体的最大数量决定），就能在 M 上指派关系 R 使 T 成立。理由不神秘——二阶存在量化对 R 没有任何实质约束，关系是被基数喂饱的，不是被数据约束的。

【隐式】这一步的代价很具体：结构实在论想说「理论变了，结构保留」。但若「结构」只由同构类刻画，它恰好把「哪些关系是物理上有意义的」这条信息全丢了——而承担经验内容的正是这条信息。

【细微】关键不在基数定理本身，而在【同构类】与【可定义性】的错位。两个模型同构 ⟺ 它们满足同一批一阶句子（有限语言下）。但科学理论的经验约束是局部的、可错的、由测量给出的；这些约束不生成一个同构类，它们生成的是一个【部分结构】。部分结构与它的补全之间没有典范选择——这就是「结构」替代不了「内容」的技术原因。

【极难发现】反直觉的落点：Newman 问题不是「结构主义错了」，而是「结构主义若不引入物理上被指定的关系（distinguished relations），就等价于一句基数断言」。Demopoulos & Friedman (1985) 拿它去救 Carnap 式 Ramsey 句：只要观察词汇给定、理论词汇只在观察上被约束，Ramsey 句就够用。Ketland (2004) 反过来算账：Ramsey 句与「理论 + 观察内容的保守扩张」在经验等价性上等价，代价是理论陈述变成二阶——而二阶逻辑没有紧致性定理。你为了保住结构，付出的是整个模型论工具箱。

【流程节点链路】Newman 论证：给定观察结构 M（起点） → 检查 |M| ≥ n，n 由理论中可区分个体的最大数量决定（中间节点1） → 在 M 上存在关系指派 R 使 T(O,R) 成立（中间节点2，由二阶存在量化的语义直接给出） → 故 T^{R 在 M 中为真（中间节点3） → 结论：T}R 不区分「物理上正确的关系」与「任意凑数的关系」（终点）。

【隐式】这条链对知识社会学有一个不客气的推论：当一篇论文说「我们的框架与 X 框架结构相同」时，如果没给出 distinguished-relations 清单，这句话的信息量约等于「存在一个双射」。这不是修辞批评，是一个定理。

【显式】一个对照：Putnam (1980) “Models and Reality” 用 Löwenheim–Skolem 论证「指称无法被理论固定」；Newman 论证的是更弱也更狠的东西——不必下潜到可数模型，只要基数够，结构描述就饱和了。

结尾的问题：如果你接受 Newman，那么「跨范式可通约性」这个社会学命题，是不是必须先交出一份 distinguished-relations 清单，否则它只是一个基数事实？还是说，科学实践里「关系被指定」恰恰是由仪器、惯例、训练这些非形式的东西完成的——形式逻辑在这里划出的那个洞，正好是知识社会学的入口？