Gödels Erster Unvollständigkeitssatz

Der Satz, dass jede konsistente, effektiv axiomatisierte formale Theorie, die ein hinreichendes Fragment der Arithmetik darstellen kann, wahre Sätze enthält, die in dieser Theorie nicht beweisbar sind; er stellt eine notwendige Lücke zwischen semantischer Wahrheit und Beweisbarkeit solcher Systeme fest.