Schließlich sagt ja „(∃x) φx” auch „es gibt eine Anzahl von x die φx genügt || genügen” und doch darf der Ausdruck (∃x) φx nicht die Gesamtheit der Zahlen voraussetzen.