/  
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.