Am Schluß wird jeder dieser Beweis zu weiter nichts als dem [B|b]ewiesenen Satz der gleichsam den Index enthält & die allgemeine Form. Das Beweisen besteht dann nur darin daß man den gegebenen Satz als einen Fall der Form

erkennt, die beide in Verbindung bringt.
Wir sehen etwa auf den Satz hin & sagen Ja das ist ein Satz dieser Art Ja die linke [s|S]eite ist von der Art dieser linken [s|S]eite so müßte die rechte Seite nun dies sein & das ist sie auch. Jeder dieser Beweise kontrolliert eine Sätze beantwortete Frage.
Nun sagt man aber die allgemeine Beweisform sei der Beweis eines allgemeinen Satzes. Das soll heißen daß sie die Beweisform

für die Sätze f2, f3, f4 u.s.w. ˇad inf. ist. Wenn man sich aber so ausdrückt so kann man nicht sagen ich werde prüfen ob der [A|a]llgemeine Satz richtig oder falsch ist. Denn man hat ja nun keine allgemeine Methode zur Prüfung dieses Satzes als Teil eines Satzsystems gegeben.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.