Talk:Primitive recursive function

Comments on previous changes:

1. the initial set of X: they are axioms, not functions or terms. they are statements.

1. successor: you had better not use + in the definition. we haven't defined addition.

1. projection: the s suffix on words makes things plural.

1. p.r. versus primitive recursive: I personally think it was nicer with the abbreviation, but it's not a strong opinion.

I spent a lot of time in crafting this page. Please do me the courtesty of investing a similar degree of effort in your changes. --Wmorgan