Primitive-Recursive Functions
摘要
After defining the formal system P, Gödel proceeds with an interim discussion spanning several pages. He introduces a class of number-theoretical functions, today referred to as primitive-recursive functions.