(∃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
Anspielung
Beziehung
auf eine Gesammtheit.

✓ ✓