Ich lasse mich ablaufen & das Ende des Ablaufs ist der bewiesene Satz. Aber sagt dann der Satz etwas über diesen Ablauf?
     Wir haben ein Experiment gemacht – aber im Experiment wurde ein Satz erzeugt (wie sonst etwa eine chemische Verbindung). Und nun gibt es einen andern Satz, der sagt, daß jener Satz erzeugt wurde. – Aber wie, wenn ich als zum Ausdruck hiefür eben jenen Satz gebrauchte? Sodaß also “25 × 25 = 625” mir sagen soll, daß die Menschen, so & so abgerichtet, in allgemeinem || allgemein dies herausbringen. Nun so eine Aussage gibt es doch, hat doch einen guten Sinn. Und wenn das so ist – könnte man fragen –, soll es dann wirklich zwei Sätze geben: einen, der dieses anthropologische Faktum ausspricht, das doch offenbar für den Sinn || Nutzen der Arithmetik wesentlich ist, & einen andern, der sagt, daß 25 × 25 625 ist? || andern, der ein davon unabhängiges arithmetisches Faktum 25 × 25 = 625 aussprechen soll?
     Hier liegt der gewisse Unsinn nahe: “es || Es kommt drauf an, wie wir den Satz meinen.” Man kann aber sagen: es kommt drauf an wie wir den Satz verwenden, was wir mit ihm tun.