(impossibility theorem) Доказательство невозможности сделать что-либо или обрести нечто. Самый известный подобный результат в политике, по К.Дж. Эрроу, доказывает, что если система выбора или упорядочивания (например, избирательная процедура) приводит к транзитивному и последовательному итогу (см.: economic man – экономический человек), если она соответствует "универсальному домену" (т.е. действует при любых комбинациях индивидуальных предпочтений), если удовлетворяет слабому основанию Парето (Pareto condition) и независима от нерелевантных альтернатив (independens of irrelevant alternatives), то она квалифицируется как диктаторская. В данном случае термин "диктаторская" имеет техническое значение, а именно: предпочтения одного индивида могут определять общественный выбор независимо от предпочтений других индивидов в обществе. "Нетехническая" трактовка теоремы Эрроу такова. В обществе часто приходится принимать групповые решения относительно направлений дятельности или кандидатов на те или иные посты. Для этого необходима надежная процедура, отвечающая определенным критериям беспристрастности и логики. Эрроу, опираясь на столь яркое доказательство демонстрирует, что набор слабых критериев не годится – необходима процедура, соответствующая помимо этих другим многочисленным критериям. Но такое логически невозможно. Знание теоремы невозможности позволяет экономить... время. Например, большая часть усилий реформаторов избирательных систем тратится на попытки обойти теорему Эрроу. Как известно, сделать этого нельзя, поэтому нет и необходимости детально вникать в подобные проекты. Это не означает, что все избирательные системы в равной мере плохи: для реформаторов в этой области остается немало важных дел, но в пределах ограничений, установленных теоремами невозможности Эрроу и др.