Using elements of formal logic for generality, analysis proceeds from a set of seemingly reasonable axioms of social choice to form a social welfare function (or constitution).
من خلال استخدام عناصر المنطق الرسمي للعمومية، ينتقل التحليل من مجموعة من بديهيات الخيار الاجتماعي لتكوين دالة رفاهية اجتماعية (أودستور).