Daß man aus dem Satz „(x) φx” auf den Satz „φa” schließen kann das zeigt wie die Allgemeinheit auch im Zeichen „(x) φx” vorhanden ist.
Und das gleiche gilt natürlich für die Allgemeinheitsbezeichnung
überhaupt.