/  
[w|W]as tun wir wenn wir zur Begründ[ü|u]ng der Arithmetik nur Funktionen von der Form Art x = a, x = a ⌵ x = b, x = a ⌵ x = b ⌵ x = c, etc., x = a ∙ y = b, x = a ∙ y = b ⌵ x = c ∙ y = d etc.
verwenden. Solche Funktionen könnte man praktisch auch so schreiben:
(a b c)x u.s.w. bzw. (ab, cd, ef)xy
und dann abgekurzt
„φx” und „Rxy” wo eben „φ” für
„(a b c)” oder dergl. steht & „R” für
„(ab, cd, ef)” Die Definition wäre dann die daß (a b c)x für die Argumente a, b, c [t|T]autologie & für alle anderen Contradiction wird

 

(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-106,122[4]et124[1]_d

RDF: http://wittgensteinsource.org/BTE/Ms-106,122[4]et124[1]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-106,122[4]et124[1]_d/json