Last time, we saw that the theory of natural numbers can be described as a formal system. were themselves becoming subjects of mathematical research. Gödel's proof makes deep use of this concept of ...