Twierdzenie Arrowa (o niemożności) – sformułowane wewnątrz 1951 roku za pomocą ekonomistę Kennetha Arrowa .Wykazał on, że, po przyjęciu pewnych założeń co aż do oczekiwanej racjonalności decyzji grupowych, skonstruowanie satysfakcjonującej (spełniającej te założenia) metody podejmowania grupowych decyzji jest niemożliwe.Twierdzenie mówi, iż jeśliby jest chociaż dwóch głosujących dodatkowo chociaż trzy możliwości, negacja logiczna da się sklecić takiej metody podejmowania decyzji, która spełniałaby powyższe kryteria.Większość systemów podejmowania decyzji wewnątrz wystarczająco jawny podejście łamie niektóre spośród powyższych założeń. Istnieją niemniej jednak systemy (takie na sposób układ Condorceta), które nieznacznie osłabiają jeno niektóre spośród założeń, statystycznie domniemanie niezależności nieistotnych alternatyw.Twierdzenie owo ma istotne implikacje na rzecz teorii demokracji, podkreśla jako iż rolę instytucji wewnątrz procesie podejmowania decyzji dodatkowo kwestionuje (podobnie na sposób np. Paradoks Condorceta) potoczne wiara o "demokratyczności" decyzji podejmowanych metodą głosowania.