Completeness (logic)

In logic, the concept of **completeness** refers to a property of a formal system indicating that every statement that is true in the system's semantics can be proven within the system's axioms and rules of inference. More precisely, a formal system is said to be complete if, for every statement (or formula) in the language of the system, if the statement is semantically valid (i.e.