Es gibt einen wesentlichen Unterschied zwischen (∃x) & (∃n); (∃n) φn ist in gewissem Sisse ungenauer, beiläufiger als z.B. φ4. Wahrend man nicht sagen kann das (∃x)fx ungenauer ist als fa (Wenn sich hinter diesem nicht wieder eine Zahlangabe verbirgt)