Properties of Axiomatic Systems

Consistency - required

Independence - nice, but not required

Completeness - nice, but not required

Previous slide

Next slide

Back to first slide

View graphic version