# Definition:Primitive Recursive/Function

Jump to navigation Jump to search

## Definition

A function is primitive recursive if it can be obtained from basic primitive recursive functions using the operations of substitution and primitive recursion a finite number of times.