Study in Formal science started back in the 1000 BC, from Indian, greek chinese and japanese. Formal science is the study of mathematics and computer science in the recent time. Besides mathematics, it can also be associated in study of logic, statistics, theoritical computer science, information theory are some of the examples. Unlike in other study of science, formal science deals with theory and mathematics. Creating new formulas for mathematical problems that we encounter.