Théorèmes d'incomplétude de Gödel

Théorèmes de logique mathématique démontrés par Kurt Gödel en 1931, établissant qu'aucun système formel cohérent suffisamment riche ne peut prouver toutes les vérités arithmétiques ni sa propre cohérence.