Self-application in arithmetic

• Apply the standard lambda calculus divergent expression to Godel numbers:
• Subst(x, x)
• This is a formula with one free variable.
• Its Godel number:
• 52_86_67_84_85_09_89_13_89_10
• (I.e., 52866784850989138910)
• “Subst(x, x)” is suggestive of “lamba x: x(x)”