For example, the Ackermann function can be proven to be total recursive, but not primitive.
Για παράδειγμα, η συνάρτηση Άκερμαν μπορεί να αποδειχθεί ότι είναι ολικά αναδρομική, αλλά όχι πρωτόγονη.