A formal science is any one of several sciences that is predominantly concerned with abstract form, for instance, logic, mathematics, and the theoretical branches of computer science, information theory, and statistics.
- Abstract structure
- Abstraction in mathematics
- Abstraction in computer science
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.