Describir: Foundations of axiomatic linguistics