 The above viewpoint allows the traditional account to bring within its fold ideas that might at first sight seem contrary to it. It is sometimes suggested that a term \(X\) can be introduced axiomatically, that is, by laying down as axioms certain sentences of the expanded language \(L^{+}\). The axioms are then said to implicitly define \(X\). This idea is easily accommodated within the traditional account. Let a theory be a set of sentences of the expanded language \(L^{+}\). Then, to say that a theory \(T^*\) is an implicit (stipulative) definition of X is to say that \(X\) is governed by the definition