/  
Aber wie ist es denn: Im letzten Falle kann ich allerdings sagen: Wir werden gleich sehen ob das wahr ist. Aber im vorhergehenden scheint das gar nicht zu gehen. (Aber im letzten konnte ich ja statt „(∃x)” ebensogut „(x)” schreiben. Es geht wenn z.B. ein in „(∃)x” „x” nur reelle Zahlen bedeutet umfaßt. Das würde aber sagen, daß „(∃x) x² = 2x sinnlos ist, wenn „x” die uneingeschränkte Zahlform ist.
   Hätte ich eine Methode Gleichungen die eine Lösung haben von solchen zu scheiden die keine haben dann hätte mit Bezug auf diese Methode der Ausdruck „(∃x) x² = 2x” Sinn.