Unvollständigkeitsphänomen

Das weitverbreitete Auftreten in hinreichend ausdrucksstarken formalen Systemen, dass es wahre Aussagen über die intendierten Strukturen gibt, die in diesen Systemen nicht beweisbar sind; umfasst Ergebnisse wie Gödels Unvollständigkeitssätze und verwandte Grenzen der Formalisierung.