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

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

Beweis

Dies folgt direkt aus Fakt und aus Fakt.

Zur bewiesenen Aussage

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Arithmetik/Erster_Stufe/Ableitbar/Nicht_aufzählbar/Nicht_axiomatisierbar/Fakt/Beweis&oldid=903253“