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.
The knowledge of Formal Sciences is widely used in the other branches of Science as instrumental facility.
See also
[ Mathematics ][ Logic ][ System Science ]
[ Natural Science ]