限关联的，有限展示的)的展示。如果 formula_12 用所有自然数 formula_21 或它的有限子集构成的集合 formula_22 来索引(index)，则容易建立一种简单的从在 formula_12 上的自由群到自然数的一对一的编码(或哥德尔数) formula_24，使得我们可以找到算法从给定 formula_25 计算 formula_26 或反之。我们可以称 formula_27 的子集 formula_28 是递归的(亦或是递归可枚举)的，如果 formula_29 是递归的(亦或是