5.532
Und analog: Nicht „(∃x,y).f(x,y).x = y”, sondern „(∃x).f(x,x)”.
      und: Nicht „(∃x,y).f(x,y).~x = y”, sondern „(∃x,y).f(x,y)”.
(Also statt dem Russell'schen „(∃x,y).f(x,y)”: „(∃x,y).f(x,y) ⌵ (∃x).f(x,x)”).

(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-204,37r[7]_n

RDF: http://wittgensteinsource.com/BTE/Ts-204,37r[7]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-204,37r[7]_n/json