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)
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)