Ich kann “die Summe von x und y” (“x + y”) als die Zahl z definieren (oder: “den Ausdruck” – wenn wir uns scheuen, das Wort Zahl zu gebrauchen) – ich kann “x + y” als die Zahl z definieren, die den Ausdruck v tautologisch macht; – man kann aber auch “x + y”, z.B., durch den Kalkül B definieren (unabhängig von dem der Tautologien) und nun die Gleichung (Еx) & (Еy) ⊃ (Еx + y) = Taut. beweisen || ableiten.

(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://www.wittgensteinsource.org/BTE/Ts-213,595r[2]_n

RDF: http://www.wittgensteinsource.org/BTE/Ts-213,595r[2]_n/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ts-213,595r[2]_n/json