Wenn man die rekursiven Beweise Skolem's gleichsam von oben ansieht, so stellen sie sich (uns﹖) dar, als Gleichungsketten, deren Übergänge nach gewissen Regeln erlaubt sind und die eine besondere strukturelle Eigentümlichkeit haben: gewisse Höhepunkte, durch welche sie besondern Gleichungen zugeordnet werden können.

87

(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-211,86[4]_n

RDF: http://wittgensteinsource.org/BTE/Ts-211,86[4]_n/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-211,86[4]_n/json