Model

Model

A model of an axiomatic system is a set of objects representing the undefined terms such that all the axioms are true for the set and the representation.

Previous slide

Next slide

Back to first slide

View graphic version