(Е 24x).Fx & (Е 18x).Gx & Ind: ⊃ : (Е 24 + 18x).Fx. ⌵ .Gx 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 allgemeinen Satz – vielmehr, der Tautologie – (Еnx).Fx & (Еmx).Gx & Ind : ⊃ : (Е n + m x).Fx. ⌵ .Gx entspricht eine Induktion und diese Induktion ist der Beweis des oberen Satzes “(Е 24x). etc.” noch ehe wir 24 + 18 wirklich ausgerechnet, und versucht haben, ob das eine Tautologie ist.

(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-209,87[6]_n

RDF: http://wittgensteinsource.com/BTE/Ts-209,87[6]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-209,87[6]_n/json