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.
Zeige, dass es zwischen der erststufigen Peano-Arithmetik und der Standardarithmetik unendlich viele Theorien gibt.