Meyers Großes Taschenlexikon in 25 Bänden
gödelscher Unvollständigkeitssatz
gödelscher Unvollständigkeitssatz,von K. Gödel 1931 aufgestellter Beweis: »Eine mathemat. Theorie, die die Arithmetik umfasst und die widerspruchsfrei ist, kann nicht alle in ihr wahren Aussagen beweisen.« (Formalismus, D. Hilbert)
Sie können einen Link zu dem Wort setzen

Ansicht: gödelscher Unvollständigkeitssatz