Consistency and completeness are proved for an axiomatic system intended to be a formalization of propositional contradictions.