Browsing: The impossibility theorem (Arrow) the incompleteness theorem (Gödel) Pareto efficiency