Die Methode der Kontrolle der Wahrheit ist das was entspricht dem Sinn des mathematischen Satzes. Kann von so einer Kontrolle nicht die Rede sein, dann fällt die

An⌊a⌋logie der „mathematischen Sätze” mit dem was wir sonst Satz nennen zusammen. ˇSo gibt es eine Kontrolle [F|f]ür die Sätze ˇ der Form „(∃[n|κ])

n
m

…” & „~(∃[n|κ])

n
m

…”, die sich auf Intervale beziehen⌊.⌋, gibt es eine Kontrolle. 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 andern 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.