Completeness and Peano Arithmetic
摘要
This chapter covers two main topics concerning the relationship between the completeness theorem and PA, which are key to proving the incompleteness results covered in Chaps. 8 and 10 .