The Fixed Point Lemma: An intuitive look

• Let “T” be the tree rooted at the topmost node
• Consider the expression “f(T)”.
• This is an exact copy of the original tree “T”!
• For any formula F with a single free variable, it is possible to build a formula T such that
• T ←→ F(godel_num(T))