本原函式

本原函式(fundamental functions)一類基本的數論函式.它包括後繼函式S、零函式0及投影函式Iln。(亦稱廣義么函式)。

由於這些函式是最基本、最簡單而又可以直接定義的函式，因此，在遞歸論中所討論的每一個非平凡的函式類都包含這些函式，並常以它們作為開始函式(參見“遞歸生成函式類”).雖然只有三種本原函式，但卻有無窮多個函式，這是因為投影函式有無窮多個.