System P
摘要
In the previous chapter, we have successfully mastered the first part of Gödel’s historic paper. Having thoroughly worked through the proof sketch, we now understand Gödel’s lines of reasoning in proving the first incompleteness theorem. For the exact execution of the proof, we first describe the formal system for which Gödel will prove the existence of undecidable propositions.