http://en.wikipedia.org/wiki/Tupper’s_self-referential_formula

Also, I think Godel might have some things like this…