8.4 Consistency Results
A consistency result explains that one formal theory does not lead to contradiction, usually relative to the consistency of another theory. In set theory, such results are especially important because many central principles cannot be proved or refuted from the standard axioms alone. The typical form is a relative consistency statement. Instead of proving absolutely that a theory is consistent, one proves that if a base theory is consistent, then...