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}}} ,