Self-application in arithmetic

• As suggested by the lambda term
• (lambda x: x (x)) (lambda x: x (x))
• Replace ‘x’ by the Godel number of our term:
• Subst( “Subst(x,x)”, “Subst(x,x)” )