Tekstiviesti: Foundations of axiomatic linguistics