Принципы построения структурных описаний множеств формальных теорийтезисы доклада