Not every total computable function is provably total in Peano arithmetic, however; an example of such a function is provided by Goodstein's theorem.
Nu fiecare funcție totală calculabilă este demonstrabilă a fi totală în aritmetica Peano dar un exemplu de astfel de funcție este dat de teorema lui Goodstein⁠(d).