Histoire des mathématiques › Théorème

théorème selon lequel aucun système formel capable d'arithmétique de base ne peut démontrer sa propre consistance

domaine

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

Sources

• Wikidata CC0-1.0

• wikidata Q1031460