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