Man könnte nun fragen: Welche Bedeutung hat 2 + 2 = 4? ist 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, das heisst in seiner Beziehung zu anderen Zeichenregeln [,|l]iegt, also in seiner // der // 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 Tautologie ist, interne Beziehungen zwischen pCq & p und q zeigt.