3.
Die Grammatik ist eine „Theory of logical types || der logischen Typen”.