The Godel formula

• Starting with F( Subst( x,x ))
• As before, replace “x” with a copy of the above:
• F( Subst( F( Subst(x,x)), F(subst(y,y)) ))