Text this: Extended axiomatic linguistics