Consistency

• If it is not possible to prove a conjecture that contradicts an axiom or any previously proven theorem, then the system is consistent.

Previous slide

Next slide

Back to first slide

View graphic version