生产集

给 productive function 的输入不是一个已经列完的集合，而是一段枚举程序的代码。只要这段程序声称自己永远留在 $P$ 内，$p$ 就能读其索引并构造一个同属 $P$、却一定没被它列出的新元素。任何单一有效清单因此都无法穷尽 $P$，而且漏项不是纯存在：从清单代码可以有效找到。

这是一种对角“扩表器”。普通非 c.e. 只说不存在完整枚举，可能没有统一方式指出某份候选清单漏在哪里；productive 性把失败做成总可计算函数。它也不要求 $p(e)$ 对不同 $e$ 互异，虽然可通过标准改造取得一一 productive function；核心是每份合法候选都被自己的索引击败。

Productive 与 immune 的量词不能互换。Immune 集禁止任何无限 c.e. 子集；productive 集只禁止某个 c.e. 子集覆盖自己，并为每份子集产出漏项。一个 productive 集完全可能含有无限可计算子集，所以二者既非同义，也非集合补关系。

对角集 $K=\{e:e\in W_e\}$ 的补集 $\bar{K}$ productive，而且 productive function 可以取最简单的 $p(e)=e$。假设 $W_e\subseteq \bar{K}$。若 $e\in W_e$，按 $K$ 的定义有 $e\in K$，却又因子集条件有 $e\in \bar{K}$，矛盾。因此 $e\notin W_e$；同一事实又按定义给 $e\notin K$，即

这段两步对角核验同时证明“在 $P$ 内”和“在清单外”，不能只证明后者。

$\bar{K}$ 还展示 productive 不等于immune公理库免疫集Immune set · Computably immune set · 免疫集合自身无限、却不含任何无限 c.e. 子集的自然数集合。。由 padding 可总可计算地产生两两不同的索引 $d_0,d_1,\dots$，每个索引都代表处处发散程序；于是 $d_n\notin W_{d_n}$，所以 $\{d_n:n\in \mathbb{N}\}$ 是 $\bar{K}$ 内的无限可计算子集。Productive function 仍能对这份清单给出另一个漏项，并不要求清单有限。

边界还在蕴含前件。若 $W_e$ 只“目前看来”落在 $P$，却未来可能枚举出外部元素，定义不保证 $p(e)$；无法用有限阶段观察确认 $W_e\subseteq P$。另一方面，非 c.e. 集也未必 productive：不存在完整枚举不等于能从每份候选子集的索引统一抽取漏项。

集合 $C$ creative 当且仅当 $C$ c.e. 且 $\bar{C}$ productive。于是 productive function 把“不可能有效枚举完否定信息”转化为 creative 集的 many-one 完全性。$K$ 是标准 creative 集，$\bar{K}$ 则是标准 productive 集；两个术语描述互补集合上的不同性质，productive 集本身不能归入 c.e.

在形式理论中，若真句编码集 $T$ productive，那么任何 c.e. 的正确理论 $W_e\subseteq T$ 都漏掉可由 $e$ 有效构造的真句 $p(e)$。这给不完备性一种“从公理化程序产生新真句”的形式，但应用必须证明真理集确实 productive，并区分语义真理与理论可证性；单靠理论不完备并不会自动提供 productive function。

Many-one 刻画还表明 productive 性带有统一的归约强度。若 $\bar{K}{\le }_{m}P$，任意声称枚举完 $P$ 的程序都会经归约诱导对角矛盾；反向则从 $p$ 与自指构造总可计算归约。后一方向真正使用了可接受编号和不动点机制，不能从“每份清单总有漏项”这一非一致陈述直接推出。