\begin{definition}[Definition:Primitive Recursive/Function]
A function is '''primitive recursive''' {{iff}} it can be obtained from basic primitive recursive functions using the operations of substitution and primitive recursion a finite number of times.
Category:Definitions/Mathematical Logic
\end{definition}