Title: Contributions to the metamathematics of arithmetic
Subjects: Metamathematics, Arithmetic, Mathematics, Philosophy