Deeper into the hall of mirrors

• The goal:
• Construct a formula:
• “There exists a formula with Godel number M which possesses the property that the formula has no proof.”
• Oh by the way:
• “The Godel number of the above formula is M.”
• The formula would become a witness of the assertion it makes!