geb chapter 8 (typographical number theory)

Begins confirming the godel’s incompleteness theorem, by creating a communicative type system that cannot describe itself

Argues that if a system could describe itself, all number theory would become symbol shunting, a la hilbert