[(∃x) φx, (∃–)–, (∃–y)– ∙ φy] Aber hier habe ich nun die Schwierigkeit daß ich kein Mittel habe || weiß um zu zeigen daß bei jeder folgenden Operation eine Variable benützt werden muß, die noch nicht in der Klammer „(∃ …)” vorkommt.
     Oder könnte man das so ausdrücken:


[(∃x1) φx1, (∃–x1)–φx–, (∃–x–x–1)–φx– ∙ φx–1]

(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/Ms-106,156[2]_n

RDF: http://wittgensteinsource.com/BTE/Ms-106,156[2]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-106,156[2]_n/json