formal science
noun1
A study that is concerned with theoretical formal systems, such as logic, mathematics, systems theory and the theoretical branches of computer science, information theory, statistics, and linguistics.
- Coordinate terms
- quasiscience, natural science versus social science, hard science versus soft science