(∃n)n² = 2n muß heißen, n² = 2n definiert gewisse Zahlen, was 2n = n + n nicht tut.
  D.h. es wäre (∃n)Fn nicht mit (n)Fn verträglich & ein radicaler Unterschied ein radikaler Unterschied gegen die Syntax der
Allgemeinheitsbezeichnung außerhalb der Arithmetik statuiert.