“Erklärung der Bedeutung eines Zeichens” nennt damit meint man ⌊⌊
insbesondere Erklärungen des Gebrauchs von einer
⌋⌋
16
vor allen andern Regeln des Gebrauchs die Definitionen. Die Unterscheidung von Verbaldefinition & hinweisender Definition gibt eine beiläufige Einteilung dieser Erklärungsarten.
  Um die Rolle zu verstehn die eine Definition im Kalkül spielt, muß man den besondern Fall untersuchen.