É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
Complétude
Un système formel est complet s'il permet de démontrer pour toute expression bien formée d'une syntaxe donnée, soit l'affirmation, soit la négation de cette expression.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : n.f.
Statut du terme en entrée : Langue spécialisée
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : Le théorème de "complétude" (…) ne pouvait même pas (…) être "aperçu" par les prédécesseurs de Gödel. (DUBUCS Jacques, La logique et son histoire, Armand Colin, 1970, p.371)
Équivalent anglais : completeness
Retour à la page précédente.