Das System von Regeln, welche einen Calcül bestimmen, bestimmt damit auch die “Bedeutung” seiner Zeichen. Richtiger ausgedrückt: Die Form und die syntaktischen Regeln sind äquivalent. Aendere ich also die Regeln – ergänze ich sie etwa scheinbar – so ändere ich die Form, die Bedeutung.

✓ / \