Formal science

Formal sciences are sciences devoted to the analysis of formal systems. Examples include mathematics, logic, general linguistics and theoretical computer science. To make the formal sciences is a field of science, which is approximately defined by the humanities, social sciences, natural sciences and engineering.