Fixpunktssatsen

Låt $PA$ vara Peanos aritmetik. Fixpunktssatsen för $PA$ är följande påstående:

För varje formel $\varphi (x)$ finns en sats $\delta$ sådan att

$PA\vdash \delta \leftrightarrow \varphi (\delta )$

Fixpunktssatsen används flitigt i metalogiska resonemang, till exempel i konstruktionen av gödelsatser, rossersatser och henkinsatser.