549
Definitionen zur Abkürzung:
(∃x). fx . & . non (∃x,y). fx & fy ≝ (εx). fx
(∃x,y). fx & fy . & . non (∃x,y,z). fx & fy & fz ≝ (εx,y). fx & fy u.s.w.


(εx). fx ≝ (ε 1x)fx
(εx,y). fx & fy ≝ (ε ❘ ❘x)fx ≝ (ε 2x)fx u.s.w.
¤

(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-212,XVI-116-6[1]_n

RDF: http://www.wittgensteinsource.org/BTE/Ts-212,XVI-116-6[1]_n/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ts-212,XVI-116-6[1]_n/json