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

Zeige, dass die erststufige Peano-Arithmetik ${}PA$ eine vollständige widerspruchsfreie erststufige Erweiterung ${}M$, also ${}PA\subseteq M\subseteq L_{0}^{\rm {Ar}}$,

besitzt, die von ${}\mathbb {N} _{0}^{\vDash }$ verschieden ist.

Zur Lösung, Alternative Lösung erstellen