Peanoaxiome/Erststufige arithmetische Sprache/Abzählbar/Aufgabe

Aus Wikiversity

Zeige, dass in der arithmetischen Sprache erster Stufe mit den Konstanten , dem Nachfolgersymbol und den zweistelligen Funktionssymbolen und nur abzählbar viele Teilmengen von „adressierbar“ sind und dass daher das zweitstufige Induktionsaxiom der Dedekind-Peano-Axiome

nicht in dieser Sprache formulierbar ist.