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