Результат Кеннета Мэя (1952): при выборе между двумя вариантами простое большинство — единственное правило, которое решительно, анонимно, нейтрально и положительно отзывчиво.
Подробнее
Решительность означает, что правило всегда даёт ответ (победа или ничья). Анонимность означает, что перестановка бюллетеней избирателей не меняет результат. Нейтральность означает, что переименование вариантов не даёт преимущества ни одному из них. Положительная отзывчивость означает, что если исход — ничья или победа A и один избиратель смещается в сторону A, то A побеждает безусловно. Теорема — стандартное формальное обоснование правила большинства в решениях «да/нет», например на референдумах. Она не распространяется на три и более варианта, где теорема Эрроу и парадокс Кондорсе показывают, что ни одно правило не удовлетворяет всем привлекательным критериям.