Completeness

Completeness

If it is impossible to add an additional consistent and independent axiom without adding more undefined terms, then the system is called complete.

Previous slide

Next slide

Back to first slide

View graphic version