Équipe Hypertextes et Textualité électronique
Laboratoire Communication et polique
TerminalfRessources terminologiques en langue française
Terminalf : page d'accueil
Les mémoires de terminologie : page d'accueil
Présentation des mémoires de terminologie
Visite guidée de la fiche de terminologie
Page d'accueil du mémoire
Interroger les termes traités dans ce mémoire
Français - AnglaisFiche complète du terme
Théorème d'incomplétude de GODEL
Preuve de l'existance de propositions indecidables dans tout système formel fondé sur une classe finie d'axiomes assez riches pour permettre la construction de l'arithmétique.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : loc.
Statut du terme en entrée : Langue spécialisée
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : C'est le "premier" théorème d'incomplétude, qui exhibe un énoncé élémentaire vrai mais non prouvable (…). (DUBUCS Jacques, La logique et son histoire, Armand Colin, 1970, p.373)
Équivalent anglais : Gôdel's incompleteness theorems
Retour à la page précédente.