Énoncé de Gödel

Une phrase autoréférentielle G construite (via le lemme du point fixe) pour une théorie formelle donnée T qui affirme effectivement «G n'est pas démontrable dans T» ; son existence est centrale dans les preuves d'incomplétude car, sous des hypothèses naturelles, ni G ni sa négation ne sont démontrables dans T.