If is a theory of then it is consistent iff there is some model of such that . If a theory is not consistent then it is inconsistent.
A slightly different definition is sometimes used, that is consistent iff (that is, as long as it does not prove a contradiction). As long as the proof calculus used is sound and complete, these two definitions are equivalent.
|Date of creation||2013-03-22 13:00:20|
|Last modified on||2013-03-22 13:00:20|
|Last modified by||Henry (455)|