Роль абстрактных сущностей в обосновании логических системтезисы доклада