The Godel formula

• So, the original goal has been achieved.
• We have a formula with an embedded expression M:
• “There exists a formula with Godel number M which possesses the property that the formula has no proof.”
• We were able to create the required expression M which evaluates to a copy of the entire formula.