Zeige, dass die erststufige Peano-Arithmetik P A {\displaystyle {}PA} eine vollständige widerspruchsfreie erststufige Erweiterung M {\displaystyle {}M} , also P A ⊆ M ⊆ L 0 A r {\displaystyle {}PA\subseteq M\subseteq L_{0}^{\rm {Ar}}} , besitzt, die von N 0 ⊨ {\displaystyle {}\mathbb {N} _{0}^{\vDash }} verschieden ist.
