Textmeddelande: Extended axiomatic linguistics