Arithmetik/Erster Stufe/Ableitbar/Nicht aufzählbar/Nicht axiomatisierbar/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Die Unaufzählbarkeit der Arithmetik

Die Menge der wahren arithmetischen Ausdrücke ist nicht -aufzählbar.

D.h. es gibt kein -Verfahren, das alle in wahren Sätze der arithmetischen Sprache auflistet.

Zum Beweis, Alternativen Beweis erstellen