更改

: <math>A = \{ e : W_e \in \mathcal{A}\}</math>

: <math>A = \{ e : W_e \in \mathcal{A}\}</math>

（换成函数视角就是 <math>A = \{ e : \phi_e<text>{具有性质}\mathcal{A}\}</math> 。）

（换成函数视角就是 <math>A = \{ e : \phi_e\text{具有性质}\mathcal{A}\}</math> 。）

可判定、可枚举这类词只能作用于自然数集合，索引集正是那道翻译层——它把"程序行为问题"转写成 <math>\mathbb{N}</math> 的子集，之后才能问"这个性质能判定吗、能枚举吗"。两个要点：其一，此类性质必须'''只看行为、不看代码'''（同一函数的两个不同编号在 A 中必须同真同假），否则退化为平凡的代码分析。

可判定、可枚举这类词只能作用于自然数集合，索引集正是那道翻译层——它把"程序行为问题"转写成 <math>\mathbb{N}</math> 的子集，之后才能问"这个性质能判定吗、能枚举吗"。两个要点：其一，此类性质必须'''只看行为、不看代码'''（同一函数的两个不同编号在 A 中必须同真同假），否则退化为平凡的代码分析。