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