# 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.

## Deeper Knowledge on Formal Sciences

### Computer Science

The study of algorithms, data structures, information, and computation

## Broader Topics Related to Formal Sciences

### Science

The most rigorous system of epistemology