مبرهنة الاستحالة لأرو

الشروط هي: المجال غير المقيّد، وباريتو الضعيف، واستقلال البدائل غير ذات الصلة، وعدم الديكتاتورية. وتتعلق المبرهنة بتجميع الترتيبات الرتبية. أما القواعد التي تستخدم معلومات أغنى، مثل الدرجات أو الموافقات، أو التي تقيّد التفضيلات، كالتفضيلات أحادية الذروة، فتغيّر الافتراضات. وكثيرًا ما تُفهم خطأً على أنها «لا يوجد نظام تصويت عادل»؛ وهي لا تقول إلا إن هذه الشروط المحددة لا يمكن أن تتحقق جميعًا.