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