+**Completeness** describes the state where a system or set contains all necessary elements, leaving nothing essential omitted. In [Logic](/wiki/logic) or [Mathematics](/wiki/mathematics), it signifies that every true statement can be proven within a given [Formal System](/wiki/formal_system), or that a space lacks any "holes."
+## See also
+- [Consistency](/wiki/consistency)
+- [Soundness](/wiki/soundness)
+- [Proof](/wiki/proof)
... 1 more lines