Deakstadieđáhus: Extended axiomatic linguistics