/  
Wenn man statt „(∃x) φx” „(∃nx) φx” schreiben dürfte so dürfte man statt „~(∃x)~φx” also statt „(x) φx” schreiben „(nx) φx” & das setzt voraus daß es unendlich viele Gegenstände gibt.
   Es muß also das (∃nx) … wenn es überhaupt Berechtigung hat, hier nicht bedeuten „es gibt eine unter allen Zahlen die …”.
   D.h. Es darf sich nicht auf eine Extension aller Zahlen beziehen.