公式。（若有公式 formula_2 与集合 formula_30，使 formula_39，则称 formula_2 定义 formula_30。）
按可计算性定义.若集合 formula_30 可以用图灵机（或任何等价的计算模型）计算得出，则称 formula_30 为 formula_3 集合。若 formula_30 为递归可枚举集合则称 formula_30 为 formula_9 集合，若 formula_30 的补集 formula_49 递归可枚举则称 formu