Allgemeinheit der euklidischen Beweise. Man sagt, die Demonstration wird an einem Dreieck durchgeführt, der Beweis gilt aber für alle Dreiecke – oder für jedes beliebige Dreieck. Erstens ist es sonderbar, dass, was für ein Dreieck gilt, darum für alle andern gelten sollte. Es wäre doch nicht möglich, dass ein Ar[t|z]t einen Menschen untersucht und nun schliesst, dass, was er bei diesem konstatiert, auch für alle andern wahr sein muss. Und wenn ich nun die Winkel in einem Dreieck messe und addiere, so kann ich auch wirklich nicht schliessen, dass

die Winkelsumme
sie

nun bei jedem andern Dreieck eben so gross sein wird. Es ist ja klar, dass der euklidische Beweis nichts über eine Gesamtheit von Dreiecken aussagen kann. Ein Beweis kann nicht über sich selbst hinausgehen.
Die Konstruktion des Beweises ist aber wieder kein Experiment, und wäre sie es, so könnte das Resultat nichts für andere Fälle beweisen. Es ist darum auch gar nicht nötig, die Konstruktion mit Papier und Bleistift wirklich auszuführen, sondern die Beschreibung der Konstruktion muss genügen, [i|u]m aus ihr alles Wesentliche zu ersehen. (Die Beschreibung eines Experiments genügt nicht, um aus ihr das Resultat des Experiments zu entnehmen, sondern das Experiment muss wirklich ausgeführt werden.) Die Konstruktion im euklidischen Beweis ist genau analog dem Beweise, dass 2 + 2 = 4 mittels der russischschen Rechenmaschine.

(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.