(∃x) ∙ φx . ⊃ . p = (x):φx . ⊃ . p
Aber das zeigt uns auch, wie wir das „wo immer …” aufzufassen haben. Denn auch das „wo immer …” enthält keine Beziehung || Anspielung auf eine Gesamtheit.