Complete Calculus

logic

Definition

Complete Calculus

A calculus is called complete if every semantically valid statement can also be derived syntactically.

Formally, completeness means:

$$\Gamma \models \phi ⟹\Gamma ⊢\phi$$

So everything that is a logical consequence can also be proved in the system.