A model is a structure that makes all sentences of a theory true. A theory is taken to be a set of sentences in a formal language. The structure is a 'model' in the sense that it is what the theory represents. Example: 'any two points can be joined by a straight line' Any structure where all these statements are true is a model of Euclidean geometry.
