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