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