Skip to main content
completeness

completeness

1 9.6
A logical system's ability to prove every true statement from its rules
  • noun
  • /kəmˈpliːtnəs/
  • Specialized
translation icon : completud
  • The completeness of the logical system allows for consistent conclusions to be drawn from its foundations.
  • institutional completeness

But the the we get we get completeness for two to the Lambda.

Examples

  • Nonetheless, for the sake of completeness, a specification that controls for whether the defendant received a court-appointed attorney was also estimated.

    Academic text (2017)
  • The subject of the quality and completeness of standards is very much on people's minds.

    Blog text (6)
  • The ability of a legal system to handle crises depends on its institutional strength and the completeness of the law.

    Academic text (1992)
  • Einstein was probably wrong to doubt the completeness of quantum mechanics.

    Academic text (2005)
  • Kodly did, however, question the completeness of their musicianship and the full effects of their limitations.

    Academic text (2012)
  • Evaluation of the fairness of financial representations and the accuracy and completeness of computerized accounting records.

    Academic text (2000)
  • The ITCG authors and steering committee, however, assessed the completeness of the ITCG controls in the context of the COCO guidance to determine whether the applicable areas were covered.

    Academic text (2000)
  • In mathematics, completeness ensures that every true statement can be derived from its axioms.

  • For the sake of completeness, all true expressions must be considered within the logical framework.

Synonyms

totality
vscompleteness
32 6.5

All the parts of something considered together

is about a formal system where all truths must be deducible
fullness
vscompleteness
11 4.1

A complete account that covers all main parts

emphasizes formal derivation of every true statement instead
comprehensiveness
vscompleteness
1 6.6

Covering all or most important parts

focuses on formal derivability and contradiction in logic
perfectivity
vscompleteness
  • Formal
9.9

A state of being complete and without fault

is a logical property about derivability of all true statements
exhaustivity
vscompleteness
  • Formal
8.9

The state of being complete and leaving nothing out

considers formal provability rather than general thorough coverage
entireness
vscompleteness
7.1

A state of being whole and complete

is a technical logical condition about derivability and contradiction

Antonyms

A state where something has missing parts or information

Surface Forms

completeness singular

Morphology

completeness = complete (semi-transparent) = complete + ness

Formally derived from 'complete', but the technical logical definition requires domain knowledge beyond the basic adjective meaning.

Etymology

Completeness comes from complete and the Latin root plere 'to fill', so in logic it means a system is 'filled' with proofs, meaning every true statement can be proved from the system's rules.