Peano-Arithmetik/Erste Stufe/Unvollständig/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Zur bewiesenen Aussage
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.