Und da erhebt sich noch eine wichtige Frage: Kann die mathematische Allgemeinheit überhaupt anders auftreten als in unmittelbarer Verbindung mit dem Gleichheitszeichen? Kann es also || D.h. kann es Sätze geben von der Art (x) ∙ (∃y) f1(x,y) ⌵ f2(x,y) wo || wo die Allgemeinheit || der Bereich der Allgemeinheit notwendig über die Disjunktion ausgedehnt werden müßte? und der Satz nicht in eine Wahrheitsfunktion allgemeiner Gleichungen aufzulösen wäre?