Formal sciences

Formal sciences are sciences that are concerned with abstract concepts and formal systems, rather than natural or social processes. Formal sciences use deductive reasoning to derive conclusions from established axioms, and are often characterized by their use of rigorous mathematical methods. Common examples of formal sciences include mathematics, computer science, and logic.