Die Methode der Kontrolle der Wahrheit entspricht dem Sinn des mathematischen Satzes. Kann von so einer Kontrolle nicht die Rede sein, dann fällt die Analogie der „mathematischen Sätze” mit dem was wir sonst Satz nennen zusammen. Für die Sätze der Form „(∃n || ν)

n m

…” & „~(∃n || ν)

n m

…”, die sich auf Intervalle beziehen, gibt es eine Kontrolle. || So gibt es eine Kontrolle für die Sätze der Form „(∃n || κ)

n m

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

n m

…”, die sich auf Intervalle beziehen. 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.