m || 27 größer als n || 13 kann ich allerdings definieren als (∃x).n + x = m || (∃x) m ‒ n = x
13 + x = 27, aber ob nun x = m ‒ n eine Zahl ergibt, weiß ich nur, wenn ich die Subtraktionsregel kenne und diese vertritt hier die Regel der Bestimmung von größer und kleiner. Diese Regel heißt, so formuliert: m ist größer als n, wenn || heißt … m ‒ n nach der Subtraktionsregel eine Zahl ergibt.

(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/Ts-208,48r[2]_n

RDF: http://wittgensteinsource.org/BTE/Ts-208,48r[2]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-208,48r[2]_n/json