Ich meine: Im Skolem'schen Kalkül brauchen wir diesen Begriff nicht // brauchen wir keinen solchen Begriff // , es 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 Weise bewiesen” // , sondern bloss zeigen, dass sich ihnen – in gewisser Beziehung analoge – Konstruktionen zuordnen lassen.