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

Le théorème qui affirme que toute théorie formelle consistante, effectivement axiomatisée et capable de représenter un fragment suffisant de l'arithmétique contient des énoncés vrais qui ne sont pas démontrables dans cette théorie ; il établit un écart nécessaire entre la vérité sémantique et la démontrabilité pour de tels systèmes.