Der Gleichungskalkül ist gegeben. In diesem Kalkül hat ‚Beweis’ eine festgelegte || fixe Bedeutung. Nenne ich nun auch die induktive Rechnung einen Beweis, so erspart mir dieser Beweis doch nicht die Kontrolle, ob die Übergänge der Gleichungskette, nach diesen bestimmten Regeln (oder Paradigmen) gemacht sind. Ist das der Fall, so sage ich die letzte Gleichung der Kette sei bewiesen; oder auch, die Gleichungskette stimme.

(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-112,68v[3]_n

RDF: http://wittgensteinsource.org/BTE/Ms-112,68v[3]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-112,68v[3]_n/json