[This][1] is a question about self-reference: Has anyone established an abstract framework, maybe a certain kind of formal language with some extra structure, which makes it possible to define what is a self-referential statement?


  [1]: https://mathoverflow.net/questions/39626/is-there-a-general-setting-for-self-reference