[Definitions correlate a redundant, easy to use, inclusive language to a primitive notation with an economical grammar and vocabulary.] But these correlations are not arbitrary. They … of the redundant language. Hence the definiendum and … the three ways lately noted. The definiens may … [e.g., "unmarried man" for "bachelor"], preserving a direct synonymy as of antecedent usage [as reported in a dictionary]; or the definiens may, in the spirit of [Carnap's] explication, improve upon the antecedent usage of the definiendum; or … [as in mathematical treatises], newly endowed with meaning here and now.
Google-1
Google-2
Copyright clearance needed for quotation.