​ 
   Der „rekursive Beweis” ist das allgemeine Glied einer Reihe von Beweisen. Er ist also ein Gesetz nach dem man Beweise konstruieren kann. Wenn gefragt wird, wie es möglich ist daß mir diese allgemeine Form den Beweis eines speziellen Satzes et z.B. 7 + (8 + 9) = (7 + 8) + 9 ersparen kann, so ist die Antwort daß sie nur alles zum Beweis dieses Satzes vorbereitet hat ihn aber nicht beweist (er kommt ja in ihr nicht vor). Der Beweis besteht vielmehr aus der allgemeinen Form zusammen mit dem Satz.

 

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



To cite this element you can use the following URL:


BOXVIEW: http://wittgensteinsource.org/BTE/Ms-113,121r[4]_d

RDF: http://wittgensteinsource.org/BTE/Ms-113,121r[4]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-113,121r[4]_d/json