The interpretation of an axiomatic system as a system of (conventions or) implicit definitions can also be expressed by saying that it amounts to the decision: only models may be admitted as substitutes.