Le
théorème d'impossibilité d'Arrow, également appelé « paradoxe d'Arrow », est une confirmation mathématique - dans certaines conditions précises - du
paradoxe soulevé et décrit dès 1785 par Nicolas de Condorcet . Selon ce paradoxe, il n'existe pas de processus de choix social indiscutable, qui permette d'exprimer une hiérarchie des préférences valide pour une collectivité à partir de l'agrégation des préférences individuelles exprimées par chacun des membres de cette même collectivité. Pour
Condorcet, il n'existe pas de système
simple assurant cette cohérence.
Arrow tente de démontrer, sous réserve d'acceptation de ses hypothèses, qu'il n'existe
pas du tout de système assurant la cohérence, hormis celui où le processus de choix social coïncide avec celui d'un seul individu, parfois surnommé
dictateur, indépendamment du reste de la population.