Formal theory (political science)
Formal theory, also known as positive political theory, is the subfield of political science that uses formal methods such as social choice theory, game theory, and statistical analysis to deductively study political phenomena. It seeks to construct and use mathematical models to represent strategic choices in political contexts, such as in elections, legislative policymaking, and international politics.
Source: Wikipedia — Formal theory (political science) (CC BY-SA 4.0)