Könnte ich nicht einen Beweis
203
dafür geben, daß die beiden Zeilen des Induktionsschemas
a + (b + (c + 1)) = ◇ a + ((b + c + 1)) || = (a + (b + c)) + 1
(a + b) + (c + 1) = ((a + b) + c) + 1(Ƒ)
restlos, sozusagen, durch das Transformationsschema α + (β + 1) = (α + β) + 1 teilbar sind?

(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-117,202[5]et203[1]_n

RDF: http://wittgensteinsource.org/BTE/Ms-117,202[5]et203[1]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-117,202[5]et203[1]_n/json