Колмогоровская редукция теорий первого порядка в логику высказыванийдоклад на конференции