Fixpunktssatsen

Version från den 19 juni 2007 kl. 17.36 av Rasmusblanck (Diskussion)

(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)

Texten från svenska Wikipedia

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

För varje formel $\varphi(x)$ finns en sats

δ

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.