6: The Incompleteness Theorems
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 6.2: The Self-Reference Lemma
- Our goal in this section is to show that, given any formula with only one free variable, we can construct a sentence that asserts that the given formula applies to itself.