Fixpunktsatz/x ist n/Fixpunkt/Aufgabe

Es sei ${}n\in \mathbb {N}$ eine fixierte natürliche Zahl und

${}\alpha (x):=x=n\,,$

wobei ${}n$ durch die ${}n$-fache Summe der ${}1$ mit sich selbst realisiert werde. Zeige direkt, dass es Sätze ${}p,q\in L_{0}^{\rm {Ar}}$ mit

$\vdash \alpha (GN(p))\leftrightarrow p$

und mit

$\vdash \neg \alpha (GN(q))\leftrightarrow q$

gibt.

Eine Lösung erstellen