Peano-Arithmetik/Standardmodell/Lücke/Unendlich viele nicht äquivalent/Aufgabe

Zeige, dass es zwischen der erststufigen Peano-Arithmetik und der Standardarithmetik

unendlich viele Theorien gibt.

Eine Lösung erstellen