But because Peano arithmetic does not prove that every Goodstein sequence terminates, Peano arithmetic does not prove that this Turing machine computes a total function.
Men eftersom Peano-aritmetiken inte kan bevisa att varje Goodstein sekvens avslutas, så kan Peano-aritmetiken inte bevisa att denna Turingmaskin beräknar en total funktion.