Text this: Sobre a prova de que todo número natural tem um sucessor em Die Grundlagen der Arithmetik, §§82-3