SMS dit: Foundations of axiomatic linguistics