ula_2 定义 formula_30。）
按可计算性定义.若集合 formula_30 可以用图灵机（或任何等价的计算模型）计算得出，则称 formula_30 为 formula_3 集合。若 formula_30 为递归可枚举集合则称 formula_30 为 formula_9 集合，若 formula_30 的补集 formula_49 递归可枚举则称 formula_30 为 formula_14 集合。这一定义实际上与上面给出的定义是等价的。更高阶层的算术类可以通