From The Gadfly’s Buzz, a quote from Professor John Findlay explaining Godel’s first theorem:
We cannot prove the statement which is arrived at by substituting for the variable in the statement form ‘We cannot prove the statement which is arrived at by substituting for the variable in the statement form Y the name of the statement form in question’ the name of the statement form in question.
I hope we’re all on the same page now.