Fixpunktssatsen

Från Wikipedia
Hoppa till: navigering, sök

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.