​ 
     Andererseits kann es in keinem wesentlichen Sinne eine Metamathematik geben. Alles muss in einer Type (oder also in keiner Type) liegen.

⌊⌊









Worin besteht der Beweis der Beweisbarkeit von 36 × 47 = 128?
Was will ich als so einen Beweis gelten lassen?
Wohl die Induktion die mir eine Windung der Spirale zeigt.
Was ist der Beweis dafür, daß ich durch die Division 1 : 3 = einmal zur 100 Zahl 0˙33333 kommen werde wenn dieser Beweis nicht in der Ausrechnung selbst besteht. Denn wohlgemerkt: Schließlich muß ja doch der vollzogene Beweis auch als Beweis seiner Ausführbarkeit zugelassen werden. ⌋⌋
49
✓ / \

(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.com/BTE/Ts-208,48r[12]et48v[1]_d

RDF: http://wittgensteinsource.com/BTE/Ts-208,48r[12]et48v[1]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-208,48r[12]et48v[1]_d/json