(∃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 radikaler Unterschied || ein radikaler Unterschied gegen die Syntax der
Allgemeinheitsbezeichnung außerhalb der Arithmetik statuiert.