complétude

Désignations

français	complétude (correct,feminine noun) CONT: Les notions de validité, de complétude et de cohérence sont au cœur de la démarche des logiciens. CONT: Complétude des règles d'inférence, c. d'une réfutation, expression saturée. synonyme : saturation (correct,feminine noun)
anglais	completedness (correct) OBS: See Godel's work on Incompleteness and Completeness. synonyme : completeness (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Caractère d'un système hypothético-déductif qui ne contient pas de propositions indécidables.
anglais: The state of being so constituted that a contradiction arises through the addition of any formula not previously deducible from the axioms of the system.

Classement

Collections

Sciences humaines humanities

Domaines

Philosophie (Généralités)

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-021f644e43b78553/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.