Loading...
By Petr Hajek
Petr Hajek, 2017. Part of the Perspectives in Logic series.
This volume offers a focused exploration of the metamathematics of first-order arithmetic. It delves into subsystems of Peano arithmetic, providing a deeper understanding of the role of the axiom schema of induction and the phenomenon of incompleteness. The text assumes a foundational knowledge of mathematical logic, which is reviewed in the preliminary sections.