Man könnte nun fragen: Welche Bedeutung hat 2 + 2 = 4? [i|I]st es nicht eine Zeichenregel? Wenn ja, so ist es willkürlich. Die Antwort ist, dass die Bedeutung von 2 + 2 = 4 nicht in ihm selbst, sondern in seiner Beweisbarkeit, dass heisst in seiner Beziehung zu anderen Zeichenregeln liegt, also
der
seiner
Zugehörigkeit zu einem System. D.h. also, dass jener Beweis (ebenso) interne Beziehungen zwischen 2 und 4 aufzeigt, wie der Beweis, dass pCq & p .C. q eine Tauto[o|l]ogie ist, interne Beziehungen zwischen pCq & p und q zeigt.