Schlaufuchs
Portal (2.858) · Forum (505)
Antworten
daß es für jede hinreichend starke Axiomatisierung der Arithmetik einen wahren arith- metischen Satz G gibt, der aber aus dieser Axiomatisierung nicht herleitbar ist
Es besagt dass jedes hinreichend komplexe, widerspruchsfreie formale System (wie die Arithmetik) notwendigerweise unvollständig ist. Das bedeutet, es existieren mathematische Aussagen, die wahr sind, aber innerhalb des Systems nicht bewiesen werden können
Der Satz von Gödel zur Unvollständigkeit besagt, dass in jedem hinreichend mächtigen, konsistenten formalen System der Mathematik wahre Aussagen existieren, die innerhalb dieses Systems nicht beweisbar sind.
