Completeness

The completeness of an axiomatized system of logic is the state of being so constituted that a contradiction arises through the addition of any formula not previously deducible from the axioms of the system.