684
     Denken wir nun an die Frage: “hat die Gleichung x² + ax + b = 0 eine reelle Lösung”. Hier gibt es wieder eine Kontrolle und die Kontrolle scheidet zwischen den Fällen ( …) etc. und non.neg( …) etc.. Kann ich aber in demselben Sinne auch fragen und kontrollieren “ob die Gleichung eine Lösung hat”? es sei denn, daß ich diesen Fall wieder mit andern in ein System bringe.