Und wie ist es allgemein mit fx = φx? Was man „(x) fx = φx” oder „~(∃x) fx ≠ φx” schreibt bedeutet fx = φx (x als allgemeine Konstante
aufgefasst
betrachtet
). Das Gegenteil davon also „~(x) fx = φx” oder „(∃x) fx = φx bedeutet nur daß „fx” und „φx” nicht durch einander ersetzbar sind. „(x) fx ≠ φx bedeutet, daß die Gleichung eine Lösung hat die den Annahmen über ˇdie Grenzen von x widersprechen. Und das Gegenteil davon „~(x) fx ≠ φx” oder „(∃x) fx = φx bedeutet daß das nicht der Fall ist.
 Wenn das richtig ist so zeigt es, daß sich, daß die Notation mit „(x)” & „(∃x)” hier gänzlich ungenügend ist. Es ist hier z.B. der Fall daß fx = φx eine Lösung hat überhaupt nicht bezeichnet, denn ich kann ihn nicht „(∃x) fx = φx nennen solange das der Gegensatz von (x) ∙ fx ≠ φx sein soll.