and show that contains all primitive recursive functions. The latter is achieved by showing that contains the constant functions, the successor function, the projection functions and that it is closed under the operations of function composition and primitive recursion.
and show that contains all primitive recursive functions. The latt:er is achieved by showing that contains the constant functions, the succ:essor function, the pr,ojection functions and that it is closed under the operations of function composition and primitive recu!rsion.