Und was sie prätendieren ist gerade was
wir mit den Zeichen (∃ …) u.a. anzeigen wollen
  Aber zu diesen Zeichen gehört doch auch das Gleichheitszeichen. „5 × 7 = 32” sagt „5 × 7 prätendiert gleich 32 zu sein”: (mit Recht oder unrecht?)
   x² + y² + 2xy = (x + y)² prätendiert eine allgemeine Gleichung zu sein.