Godel’s Hall of Mirrors

• The formal language describing natural numbers
• is encoded into natural numbers
• The machinery of the formal language is used
• to reason about those numbers that
• represent the objects of the formal language