Начало см. здесь.

Я считаю, что В. В. Мартынов, создав Универсальный Семантический Код (УСК), как некоторую формализованную систему, сделал, прежде всего, очень крупный вклад в исследования по основаниям математики (хотя сам он, по-видимому, и не подозревал об этом). Некоторое подтверждение этому факту я усматриваю, в частности, и в том обстоятельстве, что "базовый УСК", о котором будет идти речь в данном сочинении, может быть естественным образом транслирован в некоторый фрагмент так называемой комбинаторной логики, которая, как известно, тоже изначально зародилась в исследованиях по основаниям математики.

По этой причине абстрактные математические конструкции, стоящие за формализмами УСК, могут быть эффективно применены в процессе моделирования очень широкого круга реальных предметных областей (чем и оправдывается первое слово: "Универсальный" в словосочетании "Универсальный Семантический Код").