[1] 垫衬引理(Padding lemma)反映部分递归函数能行枚举{外}PE'基本性质的一个引理:设件为任何部分递归函数,其下标为.,则必定可以能行地找到外的无穷多个不同的下标,故日00x (}P=}s).因此,在能行枚举{}P.}}.E'中,任何部分递归函数必定出现无穷多次,即任何部分递归函数必有无穷多个下标.不仅如此,由赖斯定理知,任何部分递归函数外的全体下标组成之集B(e)一{二任叫}P}. _ }P=}必定是非递归集合.