​ 
0 = α̂ {(∃φ):(x)~φx .α = û (φu)} Def
1 = α̂ {(∃φ)∷(∃x) .φx.φy.φz ⊃ yzy = z:α = û(φu)} Def

[Das Gleichheitszeichen in der geschweiften Klammer könnte man vermeiden wenn man schriebe
0 = û (φu) {(∃φ) : (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.org/BTE/Ms-101,55r[3]_d

RDF: http://wittgensteinsource.org/BTE/Ms-101,55r[3]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-101,55r[3]_d/json