Title: Metamathematics of first-order arithmetic
Subjects: Metamathematics, Logic, symbolic and mathematical