​ 
Ich glaube man könnte das Gleichheitszeichen ganz aus
unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u.u.) andeuten. Es wäre dann freilich (x,y φ([x|a], [x|a]) kein spezieller Fall von (x,y).φ(x,y) und φa keiner von (∃x,y).φx.φy. Dann aber könnte man statt φx.φy ⊃ x,y x = y einfach schreiben ~(∃x,y) . φx.φy

 

(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-102,46r[5]et47r[1]_d

RDF: http://wittgensteinsource.org/BTE/Ms-102,46r[5]et47r[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-102,46r[5]et47r[1]_d/json