Ich sagte “es war möglich, vor jeder Erfahrung zu wissen,
daß (
∃x).fx aus
fa folgt
und es in der Grammatik anzugeben”.
Es sollte aber heißen:
‘(
∃x).fx folgt aus
fa’ ist kein Satz
(Erfahrungssatz) der Sprache, der ‘(
∃x).fx’ und
‘fa’ angehören, sondern eine in
ihrer Grammatik festgesetzte Regel.