Теория С2.1 В.А. Смирнова в универсуме формальных силлогистиктезисы доклада