The absence of contradiction (i.e., the ability to prove that a statement and its Negative are both true) in an Axiomatic Theory is known as consistency.
