is a contradiction if and only if . Since for contradictory it is true that for all (because ), one may prove any proposition from a set of axioms which contains contradictions. This is called the "principle of explosion", or "ex falso quodlibet" ("from falsity, anything follows").

In a complete logic, a formula is contradictory if and only if it is unsatisfiable.