​ 
  “Wenn ich gezeigt habe, daß 1 : 3 = 3̇ ist & ich soll 1
:
27
3 ausrechnen, muß ich (dann) die 27
Operationen
◇◇◇
 noch
anschreiben
ausführenc
?” – “Selbstverständlich nicht!” Es ist bewiesen, daß Du sie anschreiben könntest, & mehr ist nicht notwendig. ‒ ‒ ‒ Nun, wie soll ich das formulieren? Nicht so: “Wenn bewiesen ist, daß p bewiesen werden kann, so gilt p als bewiesen”?


 

(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-159,19r[1]_d

RDF: http://wittgensteinsource.org/BTE/Ms-159,19r[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-159,19r[1]_d/json