Wenn wir zur Begründung der Arithmetik nur extensive Funktionen wie (abc)x beziehungsweise (ab, cd, ef)xy verwenden, dann wäre eine solche Funktion ein Prüfstein mit dem man Sätze auf ihre Brauchbarkeit prüfen würde, indem man in sie eine konstruierte Funktion statt einer wirklichen einsetzt und sieht, ob eine Tautologie oder eine Kontradiktion herauskommt.

(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-208,17r[7]_n

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

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