Resultado de Kenneth May de 1952 según el cual, cuando se elige entre dos opciones, la regla de la mayoría simple es la única regla que es decisiva, anónima, neutral y positivamente receptiva.
Con más detalle
Decisiva significa que la regla siempre da una respuesta (victoria o empate). Anónima significa que intercambiar las papeletas de los votantes no cambia el resultado. Neutral significa que cambiar las etiquetas de las opciones no favorece a ninguna. Positivamente receptiva significa que, si el resultado es un empate o una victoria de A y un votante cambia su voto a favor de A, A gana entonces por mayoría absoluta. El teorema constituye la justificación formal estándar de la regla de la mayoría en decisiones de sí o no, como los referendos. No se aplica a tres o más opciones, donde el teorema de Arrow y la paradoja de Condorcet muestran que ninguna regla satisface todos los criterios deseables.