Ein historischer Vorläufer des sogennanten „Paradox des Liberalismus“ und recht eigentlich der Klassiker der Sozialwahltheorie ist allerdings der „Satz von Arrow“. Der Beweis des „Satzes von Arrow“ ist einiges komplizierter als das „Paradox“ des Liberalismus, sollte aber, da er im Grunde nur relativ elementare mathematische Mittel voraussetzt, dennoch verständlich sein. Um es so einfach wie möglich zu machen, wird der Beweis in drei Teilbeweise zerlegt, die wir Schritt für Schritt durchgehen werden.

Interessierte können sich gerne auch den zweiten und dritten Beweis in diesem Skript durchlesen. Besonders der dritte Beweis sollte, da er recht ähnlich ist, nicht mehr allzu schwer verständlich sein, wenn man den ersten Beweis erst einmal begriffen hat!