Metamathematics of First-Order Arithmetic

In the late 19th century mathematicians such as Grassmann, Frege and Dedekind gave definitions for numbers. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. The aim of this book is to cover the study of a first order theory of the natural numbers, called Peano arithmetic and its fragments (subtheories).