Das, was am Symbol bezeichnet, ist das Gemeinsame aller jener Symbole, durch
die das erste den Regeln der logischen Syntax zufolge ersetzt werden kann.
Man kann z.B. das Gemeinsame aller Notationen für die Wahrheitsfunktionen so
ausdrücken: Es ist ihnen gemeinsam, daß sich alle -- z.B. -- durch die
Notation von "~p" ("nicht
p") und "p v q" ("p oder
q") ersetzen lassen.
(Hiermit ist die Art und Weise gekennzeichnet, wie eine spezielle
mögliche Notation uns allgemeine Aufschlüsse geben kann.)