A very interesting chapter for me. The examples and proofs are very basic (as usual), but the idea behind is quite alluring. To toy the idea that the foundation of mathematics, the equivalence between the existence of a proof and the trueness, has some nature flaws! I can't wait to read the next chapter.