Peano-Arithmetik/Vollständige Erweiterung/Nicht N/Aufgabe
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.