1. A representational model that is made by giving an interpretation to undefined terms in an abstract axiomatic system. The representation of a group by matrices and the model of non-Euclidean geometry constructed in Euclidean space are examples of this kind of model; however, no room exits for this kind of model in the usual school mathematics curriculum up to the upper secondary level. The purpose of this model is to confirm the consistency of an abstract axiomatic system.