この番号付けが計算可能だというのは、それが計算可能性の形式モデル（例えばμ再帰関数やチューリングマシン）の下で定義できるという意味だが、差し当たってはチャーチ＝チューリングのテーゼを挙げるだけでも十分と思われる。
这个编码在可计算性的形式模型，比如递归函数或图灵机下定义的意义上是可计算的，邱奇-图灵论题涉及的任何机器都可以。