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^{\mathrm{A}\mathrm{r}}$ mit

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

und mit

$⊢\mathrm{\neg }\alpha (GN(q))\leftrightarrow q$

gibt.

Eine Lösung erstellen