Gödel-Satz

Ein selbstbezüglicher Satz G, konstruiert (mittels des Fixpunkt-/Diagonal-Lemmas) für eine gegebene formale Theorie T, der effektiv aussagt 'G ist in T nicht beweisbar'; seine Existenz ist zentral für Unvollständigkeitsbeweise, weil unter natürlichen Voraussetzungen weder G noch seine Negation in T beweisbar sind.