formal science

set of disciplines concerned with formal systems, such as logic, mathematics, and game theory