Bazsites.com Self Referential Sentences
Directory Topics
On the Web
Wikipedia Articles
- Diagonal lemma - In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self-referential sentences in formal theories of arithmetic.Boolos and Jeffrey (1989, sec.