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