First page Back Continue Last page Image
The Godel formula
- Now, start with the inner expression, which is our “M” in the abbreviation F(M):
- Subst( F( Subst(x,x)), F(Subst(x,x)) )
- Apply the outer Subst operation:
- F( Subst( F(subst(x,x)), F(Subst(x,x)) ))