For the recursive definition of some functions the process described in Theorem [#nst-th-natural-numbers-recursion-theorem] has to be extended. We will present two examples, the factorial $n!$ of a natural number $n$ (see Example [#nst-ex-factorial]) and the Fibonacci numbers (see Example [#nst-ex-fibonacci]).