...
A branch of Science related to studying the formal language used to describe the other branches of Science.
The major representatives of this branch are: Mathematics, Logic and System Science.
Although
The knowledge of Formal Sciences is widely used in the other branches of Science as instrumental facility.
See also
...
[ Mathematics ][ Logic ][ System Science ]
...