👉 Supporters' math, often rooted in social choice theory and game theory, provides a framework to analyze and justify the outcomes of collective decision-making processes. It focuses on ensuring that the aggregated preferences of individuals align with fairness, efficiency, and stability in group decisions. Key concepts include Arrow's Impossibility Theorem, which demonstrates that no voting system can simultaneously satisfy all fairness criteria (like non-dictatorship, Pareto efficiency, and independence of irrelevant alternatives) when there are more than two alternatives. Supporters use mathematical models to design voting systems that minimize biases and maximize transparency, such as ranked-choice voting or approval voting. These models often involve utility functions to quantify individual preferences and game-theoretic strategies to predict and mitigate strategic voting behaviors, aiming to create systems that are both fair and robust against manipulation.