Formal science is involved in the study of formal systems. It includes mathematics,[94][95] systems theory, robotics, and theoretical computer science. The formal sciences share similarities with the other two branches by relying on objective