1920-се йылдарҙа А.xa0Н.xa0Колмогоров СССР-ҙа тәүгеләрҙән булып математик лингвистика проблемаларына мөрәжәғәт итә. Ул тел конструкциялары сематикаһынан сығып килеште билдәләргә тәҡдим итә, һәм, килешкә конгруэнтлыҡ класы булараҡ, формаль билдәләмә бирә (аҙаҡ Колмогоровтың килеш буйынса билдәләмәһе килеш категорияһы буйынса үҙҙәренең аңлатмаларын тәҡдим иткән И.xa0И.xa0Ревзин һәм В.xa0А.xa0Успенскийҙарҙың тикшеренеүҙәре өсөн нигеҙ булып тора).