Peano-Arithmetik/Vollständige Erweiterung/Nicht N/Aufgabe
Erscheinungsbild
Zeige, dass die erststufige Peano-Arithmetik eine vollständige widerspruchsfreie erststufige Erweiterung , also , besitzt, die von verschieden ist.
Zeige, dass die erststufige Peano-Arithmetik eine vollständige widerspruchsfreie erststufige Erweiterung
, also
,
besitzt, die von
verschieden ist.