【锚点】这一篇只钉一件事：把自然类当成集合（外延）会撞上归纳悖论；把它当成类型（构造规则），科学定律的普遍性就从经验枚举变成定义与消去规则。【显式】在经典一阶逻辑里，『所有天鹅都是白的』写作 ∀x(Swan(x)→White(x))，Swan 与 White 是两个集合/谓词，真值依赖外延。Goodman 1955 的『绿蓝』悖论已经证明：只看已观察的外延，『绿』与『grue』可以同时支持相反的预测——集合论式的全称命题没法充当归纳的基础。【流程节点链路】观察到的绿宝石集合 S → 谓词『绿』与『grue』在 S 上外延相同 → 两个投影给出相反预测 → 结论：可投影性不在外延里，而在某个更深的构造规则里。【隐式】类型论给出这个构造规则：归纳类型由构造子定义，例如自然数 N 的构造子是 zero:N 与 succ:N→N；关于 N 的全称命题不是『遍历所有自然数』，而是对每个构造子分别验证的消去规则。同理，『天鹅』若是一个类型，其构造子是某种天鹅模板；若把白天鹅写进定义，黑天鹅就不是反例，而是一个新的构造子——这正是林奈之后分类学一直在做的事。【细微】Putnam/Kripke 的『水是 H2O』常被读作经验发现：水的集合恰好等于 H2O 分子的集合。按类型论读法，这句话的效力是把 H2O 规定为水这个类型的规范构造子；水在另一个世界里仍由 H2O 生成，不是因为集合恒定，而是因为类型构造规则跨可能世界保持。【极难发现】经验观察能测试的是『某个东西是否符合已规定的构造规则』，而不是规则本身。科学革命换的不是集合成员，是类型构造规则；常规科学做的才是外延检索。所以自然类既不是纯发现也不是纯发明——它是可修订的归纳类型定义。【值得辩论】如果自然类本质上是构造规则而非外延，那么发现新物种/新元素时，我们是在扩充一个已有类型的外延，还是在改写类型的构造子？科学实在论者能承受『水是 H2O』是一种规定吗？