Свойство анти-простоты логических теорийдоклад на конференции