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