So beschreibe ich die Kontrolle der Teilbarkeit (etc.). Ist die Zahl durch 8 teilbar so … nicht „ist 128 durch 8 teilbar so …”.
     So gibt es für die Sätze (∃x) etc. & ~(∃x) eine Kontrolle wenn es sich um endliche Klassen von Zahlen handele.
     Denken wir nun an die Frage: hat die Gleichung x² + ax + b = 0 eine reelle Lösung? Hier gibt es wieder eine Kontrolle & die Kontrolle scheidet zwischen den Fällen (∃) etc. & ~(∃) etc.

Kann ich aber in demselben Sinne auch fragen & kontrollieren ob die Gleichung eine Lösung hat, es sei denn daß ich diesen Fall wieder mit anderen zusammenstelle, in ein System bringe?

(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://www.wittgensteinsource.org/BTE/Ms-154,55r[1]et55v[1]_n

RDF: http://www.wittgensteinsource.org/BTE/Ms-154,55r[1]et55v[1]_n/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ms-154,55r[1]et55v[1]_n/json