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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.