Ich meine: Im Skolemschen Kalkül brauchen wir diesen Begriff nicht || brauchen wir keinen solchen Begriff, es genügt die Liste.
     Es geht uns nichts verloren, wenn wir nicht sagen „wir haben die Grundgesetze A bewiesen” || wir haben die Grundgesetze A auf diese Wiese bewiesen”, sondern bloß zeigen, daß sich ihnen – in gewisser Beziehung analoge – Konstruktionen zuordnen lassen.