The Godel Formula

• F( Subst( F(subst(x,x)), F(Subst(x,x)) ))
• The magic has happened! The inner M evaluates to the entire outer expression.
• Our original expression: F(M)
• The inner expression: M
• The evaluation of the inner expression: F(M)