Histoire des mathématiques Théorème
second théorème d'incomplétude de Gödel
Théorèmethéorème selon lequel aucun système formel capable d'arithmétique de base ne peut démontrer sa propre consistance
Traduit de l’anglais automatiquement, puis relu. « theorem that no formal system capable of basic arithmetic can prove its own consistency »
Liens
- porte le nom de
Sources
- Wikidata CC0-1.0