Stav dette: Extended axiomatic linguistics