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

Beweis

Dies folgt direkt aus Fakt und aus Fakt.