Today I should clearly distinguish between the systems of objects which satisfy an axiom system and the system of names of these objects which may be substituted in the axioms (rendering them true); and I should call only the first system a 'model'.