Peano-Arithmetik/Vollständige Erweiterung/Nicht N/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die erststufige Peano-Arithmetik eine vollständige widerspruchsfreie erststufige Erweiterung , also ,

besitzt, die von verschieden ist.
Zur Lösung, Alternative Lösung erstellen