Consistency

Consistency is the absence of contradiction (i.e., the ability to prove that a statement and its negative are both true) in an Axiomatic system.

See also

Axiomatic Set Theory, Axiomatic System, Complete Axiomatic Theory, Consistency Strength, Gödel's First Incompleteness Theorem, Gödel's Second Incompleteness Theorem

Explore with Wolfram|Alpha

More things to try:

Cite this as:

Weisstein, Eric W. "Consistency." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Consistency.html

Subject classifications