Man hat oft gesagt, daß die Bedeutung || Wichtigkeit einer Definition oft darin liege, daß sie die Wichtigkeit des Definiens hervorhebe. Aber in anderem Sinne macht || läßt sie ja das Definiens im || aus dem Kalkül verschwinden. Die Wichtigkeit einer Definition liegt zumeist darin, daß Ausdrücke eine andre || neue Struktur erhalten || sie Ausdrücken neue Strukturen gibt.