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

Aus Wikiversity
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.