formal science
Short definition from Wiktionary
Noun
- 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.
We haven’t written up formal science yet: Simple and Standard meanings, examples and a quiz.