Independent

• An axiom is called independent if it cannot be deduced from the other axioms in the system.

• A system is called independent if each axiom is independent.

Previous slide

Next slide

Back to first slide

View graphic version