Second Théorème D'Incomplétude de Gödel

Le théorème qui affirme qu'aucune théorie formelle consistante et effectivement axiomatisée capable de représenter suffisamment d'arithmétique ne peut démontrer sa propre consistance, lorsque la consistance est formalisée à l'intérieur de la théorie elle-même ; en bref, une théorie ne peut pas certifier par ses propres moyens qu'elle est exempte de contradiction.