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).
Folosind elementele de logică formală pentru generalitate, analiza provine dintr-un set de axiome aparent rezonabile ale alegerii sociale pentru a forma o funcție de bunăstare socială (sau constituție).