Силлогистики с константой исчерпываемоститезисы доклада