COMPLETENESS

completeness

(noun) (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system

completeness

(noun) the state of being complete and entire; having everything that is needed

Source: WordNet® 3.1


Etymology

Noun

completeness (usually uncountable, plural completenesses)

the state or condition of being complete

(logic) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.

THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H:
(a) If ⊨F [or even if ℵ0-⊨F], then ⊢F. If E1,..,Ek⊨F [or even if E1,..,Ek â„µ0-⊨F], then E1,..,Ek⊢F.
(b) [...]

Synonyms

• (state of being complete): completion, fulfillment; see also completion

Antonyms

• incompleteness, unfinishedness; see also incompletion

Source: Wiktionary


Com*plete"ness, n.

Definition: The state of being complete.

Source: Webster’s Unabridged Dictionary 1913 Edition



RESET




Word of the Day

6 April 2025

KIP

(noun) a gymnastic exercise performed starting from a position with the legs over the upper body and moving to an erect position by arching the back and swinging the legs out and down while forcing the chest upright


coffee icon

Coffee Trivia

The Boston Tea Party helped popularize coffee in America. The hefty tea tax imposed on the colonies in 1773 resulted in America switching from tea to coffee. In the lead up to the Revolutionary War, it became patriotic to sip java instead of tea. The Civil War made the drink more pervasive. Coffee helped energize tired troops, and drinking it became an expression of freedom.

coffee icon