發送短信: Foundations of axiomatic linguistics