Text this: Foundations of axiomatic linguistics