< Peano-Arithmetik < Erste Stufe < Unvollständig < Fakt
Beweis

Wegen würde die Vollständigkeit hier die Gleichheit bedeuten. Da die Peano-Arithmetik -aufzählbar ist, würde aus Fakt die Entscheidbarkeit folgen im Widerspruch zu Fakt.

Zur bewiesenen Aussage
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.