Topic summary
Consistent
Extracted from the Wikipedia article Consistency.
Consistency and completeness in arithmetic and set theory
Because consistency of ZF is not provable in ZF, the weaker notion relative consistency is interesting in set theory (and in other sufficiently expressive axiomatic systems). If T is a theory and A is an additional axiom, T + A is said to be consistent relative to T (or simply that A is consistent with T) if it can be proved that if T is consistent then T + A is consistent. If both A and ¬A are consistent with T, then A is said to be independent of T.