/  
([∃|Е]243x) φx ∙ (Е183x) ∙ ψx ∙ Indep. ⊃ (Е243 + 183x) φx ⌵ ψx Wie weiß ich daß das so ist, wenn ich nicht den Begriff der Addition in Verbindung mit dieser Anwendung eingeführt habe? Ich kann zu diesem Satz nur durch Induktion kommen. D.h. Dem allgemenen Satz (ˇvielmehr der Tautologie) (Еnx) φx ∙ (Еmx) ψx ∙ Indep. ⊃ (Еn + m)xφx ⌵ ψx entspricht eine Induktion (Spirale) & diese Induktion ist der Beweis des oberen Satzes „(Е243x) φx etc” noch ehe wir 243 + 183 wirklich ausgerechnet⌊,⌋ haben & versucht haben ob das eine Tautologie ergibt.

 

(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-107,210[2]_d

RDF: http://wittgensteinsource.org/BTE/Ms-107,210[2]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-107,210[2]_d/json