Вообще-то он Эрроу
Салют!
Его "теорема о невозможности" содержится в любом учебнике по общественному выбору или экономике общественного сектора, и условий в ней не 5 а 6.
Теорема утверждает, что
не существует правила коллективного выбора,
удовлетворяющего одновременно следующим шести требованиям.
1. Полнота. Для любой пары альтернатив можно делать выбор или признать их равноценными
2. Универсальность. Выбор можно делать для любого набора "голосующих
3. Транзитивность. Для любого набора из трех альтернатив х, у и z, если
x предпочитается y и y предпочитается z, то x должен предпочитаться z
4. Единогласие. Если каждый индивид предпочитает х у, все общество должно проголосовать х у (Парето-оптимизация)
5. Независимость от посторонних альтернатив. Выбор между парой альтернатив не зависит от чего-то еще.
6. Отсутствие "диктатора". Среди участников коллективного выбора нет такого индивида, любое предпочтение которого однозначно определяло бы исход голосования.
Соответственно и роль теоремы несколько иная, чем в статейке писано.
С уважением, Алексей Калинин, www.kubinka.ru