One who constructs a syntactical system usually has in mind from the outset some interpretation of this system. While this intended interpretation (called standard model in mathematical logic—a term introduced by Abraham Robinson in 1960) can have no explicit indication in the syntactical rules - since these rules must be strictly formal?— the author's intention respecting interpretation naturally affects his choice of the formation and transformation rules of the syntactical system.