 Diagonal lemma.  Let \(S\) be a theory extending first-order arithmetic. For every formula \(\phi(x)\) there is a sentence \(\psi\) such that \(S \vdash \psi \leftrightarrow \phi \langle \psi \rangle\). 