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 (E …) etc. und non.neg(E …) etc.. Kann ich aber in demselben Sinne auch fragen und kontrollieren “ob die Gleichung eine Lösung hat”? es sei denn, dass ich diesen Fall wieder mit anderen in ein System bringe.