(∃2x). Fx & (∃2x). Gx & Ind. ⊃ .(∃4x). Fx ⌵ .Gx …A Dieser Satz sagt – natürlich – nicht, daß 2 + 2 = 4, sondern, daß der Ausdruck eine Tautologie ist, zeigt es. F und G müssen unintegrierte Variable sein.

(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,67r[3]_n

RDF: http://wittgensteinsource.com/BTE/Ts-208,67r[3]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-208,67r[3]_n/json