Zaslat SMS: Foundations of axiomatic linguistics