Was bedeutet dann aber „~(x) (x² = 2x)”? Wir müssen uns erinnern daß hier das Zeichen „(x) …” oder (∃x) …” immer etwas über die angebliche interne Relation zwischen den beiden Seiten der Gleichung aussagt!