Kenneth Mays Ergebnis von 1952, dem zufolge bei der Wahl zwischen zwei Optionen die einfache Mehrheitsregel die einzige Regel ist, die entscheidend, anonym, neutral und positiv responsiv ist.
Ausführlicher
Entscheidend bedeutet, dass die Regel immer ein Ergebnis liefert (Sieg oder Gleichstand). Anonym bedeutet, dass ein Vertauschen der Stimmzettel der Wählenden das Ergebnis nicht verändert. Neutral bedeutet, dass eine Umbenennung der Optionen keine davon bevorzugt. Positiv responsiv bedeutet: Ist das Ergebnis ein Gleichstand oder ein Sieg für A und stimmt eine Person stärker für A, gewinnt A anschließend eindeutig. Das Theorem ist die übliche formale Rechtfertigung der Mehrheitsregel bei Ja/Nein-Entscheidungen wie Referenden. Es lässt sich nicht auf drei oder mehr Optionen übertragen; dort zeigen Arrows Unmöglichkeitstheorem und das Condorcet-Paradoxon, dass keine Regel alle naheliegenden Kriterien erfüllt.