部分遞歸函式枚舉定理簡稱枚舉定理或通用函式定理。
for partial recursive function)反映部分遞歸函式類基本性質的一個
重要定理:存在一個函式列{}e}eE。滿足下列條件:
1.對任何。} }e是n元部分遞歸函式.
2.若滬為n元部分遞歸函式，則存在。，使得必一帆·
3.存在n+1元部分遞歸函式抓稱為{}P }eE。之
通用'!}l數)，使對任何x,抓e,x)=y(x).滿足上述條件的{}P }eE。稱為n元部分遞歸函式的部分遞歸枚舉或能行枚舉.枚舉定理可由克林範式定理直接推出.不僅如此，由克林謂詞T,:關於n的一致性，可以證明，存在全體部分遞歸函式的通用函式滬，即對任何值得指出的是，n元部分遞歸函式的部分遞歸枚舉並不惟一但是，遞歸論中關於部分遞歸函式的討論並不依賴於任何一種具體枚舉的特殊性質.因此，通固定一種能行枚舉開展各種討論，這並不妨礙討論的一般性.
重要定理:存在一個函式列{}e}eE。滿足下列條件:
1.對任何。} }e是n元部分遞歸函式.
2.若滬為n元部分遞歸函式，則存在。，使得必一帆·
3.存在n+1元部分遞歸函式抓稱為{}P }eE。之
通用'!}l數)，使對任何x,抓e,x)=y(x).滿足上述條件的{}P }eE。稱為n元部分遞歸函式的部分遞歸枚舉或能行枚舉.枚舉定理可由克林範式定理直接推出.不僅如此，由克林謂詞T,:關於n的一致性，可以證明，存在全體部分遞歸函式的通用函式滬，即對任何值得指出的是，n元部分遞歸函式的部分遞歸枚舉並不惟一但是，遞歸論中關於部分遞歸函式的討論並不依賴於任何一種具體枚舉的特殊性質.因此，通固定一種能行枚舉開展各種討論，這並不妨礙討論的一般性.
