Typographical Number Theory

We now have a full-blown formal system capable of expressing any statement about whole numbers. TNT is powerful enough to talk about addition, multiplication, and primes. But with this power comes a danger: the ability to talk about itself. This chapter sets the stage for Gödel's proof by showing how a system designed for numbers can inadvertently start talking about its own rules.