Teorema de Imposibilidad de Arrow

Un teorema formal de la elección social que establece que ninguna regla determinista de agregación de órdenes de preferencia (sistema de votación) que convierta órdenes completos de preferencia individuales en un ranking colectivo puede satisfacer simultáneamente un conjunto estándar de axiomas de equidad — dominio irrestricto, unanimidad paretiana, independencia de alternativas irrelevantes y no‑

Un resultado formal que afirma que, con al menos tres alternativas, ninguna función de bienestar social que asigne a cada perfil de ordenamientos estrictos de preferencia individuales una ordenación colectiva completa y transitiva puede satisfacer simultáneamente los axiomas de dominio irrestricto, Pareto (unanimidad), independencia de alternativas irrelevantes y no‑dictadura.