Stav dette: Foundations of axiomatic linguistics