Textmeddelande: Foundations of axiomatic linguistics