basic science formal science https://en.wikipedia.org/wiki/Category:Formal_sciences https://en.wikipedia.org/wiki/Formal_science https://www.wikidata.org/wiki/Q816264 A branch of science studying formal language disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. formal sciences