(∃x)fx = (∃1)xf(x) ≝
     (∃x,y)fx & fy = (∃1 + 1)xf(x) ≝ usw.
     Ferner:
      (∃n)xf(x) & non (∃n + 1)xf(x) = (n)xf(x) ≝.
     Dann kann man z.B. schreiben:
(3)xFx & (4)xGx & non (∃x)Fx & Gx . ⊃ . (3 + 4)x.Fx . ⌵ . Gx
     Dieser Ausdruck ist nicht dasselbe wie die Ersetzungsregel 3 + 4 = 7.

(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/Ts-208,18r[3]_n

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

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