​ 
 Folgt aus “⊢ p ist beweisb.” “⊢ p”? D.h.: folgt daraus, daß “p” die ˇinterne Eigenschaft der Beweisbarkeit hat, daß es wahr ist? – Der Beweis für die Beweisbarkeit gilt allerdings als Beweis von “⊢ p”, aber das heißt nicht, daß man aus dem unbewiesenen Satz “⊢ p ist beweisbar” “⊢ p” folgern darf.

 

(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/Ms-121,82v[2]_d

RDF: http://wittgensteinsource.com/BTE/Ms-121,82v[2]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-121,82v[2]_d/json